A Module System for Scheme (1990)

Cached

Download Links

by Pavel Curtis , James Rauen
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
Citations:38 - 1 self

Documents Related by Co-Citation

97 Macros that work – William Clinger, Jonathan Rees - 1991
198 Reflections on Standard ML – David B. MacQueen - 1992
157 Revised report on the algorithmic language Scheme – W Clinger, J Rees - 1991
728 G.: Structure and Interpretation of Computer Programs – H Abelson, Sussman - 1985
19 Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes – Shinn-Der Lee, Daniel P. Friedman - 1993
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
19 A unified system of parameterization for programming languages – John Lamping - 1988
19 Metalevel Building Blocks for Modular Systems – Suresh Jagannathan - 1994
14 Free variables and first-class environments – James S Miller, Guillermo J Rozas - 1991
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
8 A closer look at export and import statements – M Felleisen, D P Friedman - 1986
11 Another Module System for Scheme – Jonathan Rees - 1994
29 An Implementation of Standard ML Modules – David Macqueen, David Macqueen - 1988
41 Object-Oriented Programming in Scheme – Norman Adams, Jonathan Rees - 1989
148 Programming Modula-2 – N Wirth - 1988
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994