<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Object-oriented programming languages / Combinatory logic / Design by contract / Enumerated type / Eiffel / Objective-C / Contract / Scope / Exception handling
Date: 2016-08-09 10:09:16
Software engineering
Computer programming
Computing
Object-oriented programming languages
Combinatory logic
Design by contract
Enumerated type
Eiffel
Objective-C
Contract
Scope
Exception handling

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Add to Reading List

Source URL: www.ece.northwestern.edu

Download Document from Source Website

File Size: 195,40 KB

Share Document on Facebook

Similar Documents

1  Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

DocID: 1rtSg - View Document

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

DocID: 1rptM - View Document

Composing ComposingContracts: contracts: An Adventure in Financial Engineering

Composing ComposingContracts: contracts: An Adventure in Financial Engineering

DocID: 1rgwW - View Document

Worksheet on Inclusion-Exclusion October 11, 2015 This is a long worksheet and it will probably span two days. Might I suggest that you refrain from working on it between the classes so you can enjoy the discovery collab

Worksheet on Inclusion-Exclusion October 11, 2015 This is a long worksheet and it will probably span two days. Might I suggest that you refrain from working on it between the classes so you can enjoy the discovery collab

DocID: 1rcxk - View Document

To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999

To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999

DocID: 1r8Gs - View Document