|
41
|
Recursive Monadic Bindings
– Levent Erkok, John Launchbury
- 2000
|
|
100
|
A Calculus of Module Systems
– Davide Ancona, Elena Zucca, Via Dodecaneso
- 2001
|
|
10
|
Value Recursion in Monadic Computations
– Levent Erkok
- 2002
|
|
33
|
The Recursive Record Semantics of Objects Revisited
– Gérard Boudol, Projets Mimosa
- 2001
|
|
62
|
Mixin modules in a call-by-value setting
– Tom Hirschowitz, Xavier Leroy
- 2002
|
|
12
|
A Monadic Multi-stage Metalanguage
– E. Moggi, S. Fagorzi
- 2003
|
|
136
|
A Denotational Semantics of Inheritance
– William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth
- 1989
|
|
17
|
An abstract monadic semantics for value recursion
– Eugenio Moggi, Amr Sabry
- 2003
|
|
32
|
On embedding a microarchitectural design language within Haskell
– John Launchbury, Jeffrey R. Lewis, Byron Cook
- 1999
|
|
7
|
Recursion is a Computational Effect
– Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry
- 2000
|
|
9
|
A Recursive do for Haskell
– Levent Erkök, John Launchbury
- 2002
|
|
6
|
Semantics of fixIO
– Levent Erkök, John Launchbury, Andrew Moran
- 2001
|
|
138
|
The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance
– Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick
- 1992
|
|
174
|
Units: Cool Modules for HOT Languages
– Matthew Flatt, Matthias Felleisen
- 1998
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
10
|
MetaKlaim: A Type Safe Multi-stage Language for Global Computing
– Gianluigi Ferrari, Eugenio Moggi, Rosario Pugliese
|
|
28
|
Closed Types for a Safe Imperative MetaML
– C. Calcagno, E. Moggi, T. Sheard
- 2001
|
|
31
|
Meta-Programming with Names and Necessity
– Aleksandar Nanevski, Frank Pfenning
- 2002
|
|
20
|
August) Compilation of extended recursion in call-by-value functional languages
– Tom Hirschowitz, Ens Lyon, Xavier Leroy, Inria Rocquencourt, J. B. Wells
- 2003
|
