Première partie

Cached

Download Links

by Unknown Authors

Active Bibliography

3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
9 Extending the Loop Language with Higher-Order Procedural Variables – T. Crolard, E. Polonowski, P. Valarcher - 2010
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
96 How to Declare an Imperative – Philip Wadler - 1995
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
55 Representing Layered Monads – Andrzej Filinski - 1999
2 A Critique of the Foundations of Hoare Style Programming Logics – Tristan Crolard
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
Type Theory for Programming Languages – Robert Harper - 1994
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
32 A Semantic analysis of control – James David Laird - 1998
26 A Compositional Logic for Polymorphic Higher-Order Functions – Kohei Honda, Nobuko Yoshida - 2004
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda