|
2
|
A program logic for higher-order procedural variables . . . .
– T. Crolard, et al.
- 2009
|
|
5
|
Extending the Loop Language with Higher-Order Procedural Variables
– T. Crolard, E. Polonowski, P. Valarcher
- 2007
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
20
|
Definitional interpreters revisited
– John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans
- 1998
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
48
|
Representing Layered Monads
– Andrzej Filinski
- 1999
|
|
|
2 A Critique of the Foundations of Hoare Style Programming Logics
– Tristan Crolard
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
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
|
|
10
|
An Introduction to Reflection-Oriented Programming
– J.M. Sobel, Daniel P. Friedman
- 1996
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
25
|
Practical Refinement-Type Checking
– Rowan Davies, Frank Pfenning
- 1997
|
|
23
|
A Compositional Logic for Polymorphic Higher-Order Functions
– Kohei Honda, Nobuko Yoshida
- 2004
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
|
|
Process Logic and Duality -- Part I: Sequential Processes
– Kohei Honda
|
|
34
|
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2005
|
