<--- 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

Ergonomics AG: General Terms and Conditions (GTC) FebruaryClassification of the General Terms and Conditions (GTC) Agreements of Ergonomics AG (Ergonomics) with its customers consist of a contract document and th

Ergonomics AG: General Terms and Conditions (GTC) FebruaryClassification of the General Terms and Conditions (GTC) Agreements of Ergonomics AG (Ergonomics) with its customers consist of a contract document and th

DocID: 1xVYm - View Document

DEPARTMENT OF HOMELAND SECURITY AWARDS OCTO CONSULTING GROUP $300M CEILING SERVICES ENABLING AGILE DELIVERY (SEAD) BPA CONTRACT Octo will deliver Agile and DevOps practices through embedded experts to expedite the agency

DEPARTMENT OF HOMELAND SECURITY AWARDS OCTO CONSULTING GROUP $300M CEILING SERVICES ENABLING AGILE DELIVERY (SEAD) BPA CONTRACT Octo will deliver Agile and DevOps practices through embedded experts to expedite the agency

DocID: 1xVTe - View Document

Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry  Sam Tobin-Hochstadt

Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt

DocID: 1xVPL - View Document

Vienna, 13 JuneRaiffeisen Bank International and kompany sign contract for next-generation business KYC solution  

Vienna, 13 JuneRaiffeisen Bank International and kompany sign contract for next-generation business KYC solution  

DocID: 1xVEL - View Document

Wormhole: A Smart Contract Solution for Bitcoin Cash Abstract Born at block height 478,558, Bitcoin Cash (BCH) has been dedicated to bringing a reliable electronic cash to the world and fulfilling Satoshi’s original vi

Wormhole: A Smart Contract Solution for Bitcoin Cash Abstract Born at block height 478,558, Bitcoin Cash (BCH) has been dedicated to bringing a reliable electronic cash to the world and fulfilling Satoshi’s original vi

DocID: 1xVEE - View Document