|
10
|
Value Recursion in Monadic Computations
– Levent Erkok
- 2002
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
7
|
A Systematic Study of Functional Language Implementations
– Rémi Douence, Pascal Fradet
- 1998
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
26
|
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
– John Maraist, Martin Odersky, David N. Turner, Philip Wadler
- 1994
|
|
17
|
An abstract monadic semantics for value recursion
– Eugenio Moggi, Amr Sabry
- 2003
|
|
6
|
Defining and Implementing Closed, Domain-Specific Languages
– Richard B. Kieburtz
- 2000
|
|
5
|
lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects
– Arvind, Joe E. Stoy, Jan-willem Maessen, Jan-willem Maessen, Rishiyur S. Nikhil, Rishiyur S. Nikhil, Joseph E. Stoy
|
|
2
|
Addressed Term rewriting Systems: . . .
– Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
- 2006
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
|
Presheaf models for the π-calculus
– Ian Stark
- 1997
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
10
|
Monads for Natural Language Semantics
– Chung-Chieh Shan
|
