Robert Bruce Findler, Matthias Felleisen. Contracts for higher-order functions. SIGPLAN Notices, 37(9):48-59, 2002.
[ Dyntyp ]
@article{fife2002,
Author = {Findler, Robert Bruce and Felleisen, Matthias},
Title = {Contracts for higher-order functions},
Journal = {SIGPLAN Notices},
Volume = {37},
Number = {9},
Pages = {48--59},
Publisher = {ACM},
Address = {New York, NY, USA},
Year = {2002}
}
Get EndNote Reference (.ref)