|
62
|
Mixin modules in a call-by-value setting
– Tom Hirschowitz, Xavier Leroy
- 2002
|
|
41
|
Recursive Monadic Bindings
– Levent Erkok, John Launchbury
- 2000
|
|
174
|
Units: Cool Modules for HOT Languages
– Matthew Flatt, Matthias Felleisen
- 1998
|
|
100
|
A Calculus of Module Systems
– Davide Ancona, Elena Zucca, Via Dodecaneso
- 2001
|
|
16
|
Mixin Modules and Computational Effects
– D. Ancona, S. Fagorzi, E. Moggi, E. Zucca
- 2003
|
|
33
|
The Recursive Record Semantics of Objects Revisited
– Gérard Boudol, Projets Mimosa
- 2001
|
|
17
|
An abstract monadic semantics for value recursion
– Eugenio Moggi, Amr Sabry
- 2003
|
|
9
|
A Recursive do for Haskell
– Levent Erkök, John Launchbury
- 2002
|
|
77
|
A Type System for Higher-Order Modules
– Derek Dreyer, Karl Crary, Robert Harper
- 2003
|
|
81
|
A Metalanguage for Programming with Bound Names Modulo Renaming
– Andrew M. Pitts, Murdoch J. Gabbay
- 2000
|
|
79
|
What is a Recursive Module?
– Karl Crary, Robert Harper, Sidd Puri
- 1999
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
56
|
Recursive Structures for Standard ML
– Claudio V. Russo
- 2001
|
|
32
|
On embedding a microarchitectural design language within Haskell
– John Launchbury, Jeffrey R. Lewis, Byron Cook
- 1999
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
27
|
A type system for well-founded recursion
– Derek Dreyer, Robert Harper, Karl Crary
- 2004
|
|
20
|
August) Compilation of extended recursion in call-by-value functional languages
– Tom Hirschowitz, Ens Lyon, Xavier Leroy, Inria Rocquencourt, J. B. Wells
- 2003
|
|
31
|
Meta-Programming with Names and Necessity
– Aleksandar Nanevski, Frank Pfenning
- 2002
|
|
5
|
Constantinos Sourelis. Parameterized modules, recursive modules and mixin modules
– Dominic Duggan
- 1998
|
