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
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
132 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
18 Evolving Software with Extensible Modules – Matthias Zenger - 2002
79 A Modular Module System – Xavier Leroy - 2000
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
18 Mixin Modules and Computational Effects – D. Ancona, S. Fagorzi, E. Moggi, E. Zucca - 2003
52 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
Smart Modules for Java-like Languages ⋆ (Extended abstract) – Davide Ancona, Giovanni Lagorio, Elena Zucca
81 Scalable Component Abstractions – Martin Odersky, Matthias Zenger - 2005
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
Type Theory for Programming Languages – Robert Harper - 1994
102 Compiling with Types – Greg Morrisett - 1995
1 Towards Object-Oriented KLAIM – Lorenzo Bettini, Viviana Bono, Betti Venneri - 2001