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