[PRL] the meaning of software contracts -- aka contracts as
projections
Matthias Felleisen
matthias at ccs.neu.edu
Wed Feb 11 17:18:18 EST 2004
Is available at
http://www.ccs.neu.edu/home/matthias/Tmp/contracts-as-projections.pdf
-- Matthias
More information about the PRL
mailing list