Programming Languages for Reusable Software Components (1999)

Cached

Download Links

by Matthew Flatt
Citations:26 - 0 self

Active Bibliography

188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
7 Behavioral Software Contracts – Robert Bruce Findler - 2002
Behavioral Software Contracts – Robert "corky Cartwright, Keith D. Cooper, Michael Barlow, Robert Bruce Findler, Robert Bruce Findler, Robert Bruce - 2002
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
728 The nesC language: A holistic approach to networked embedded systems – David Gay, Matt Welsh, Philip Levis, Eric Brewer, Robert Von Behren, David Culler - 2003
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993