Implementing CCS, the LCS experiment (1989)

Cached

Download Links

by Bernard Berthomieu
Citations:5 - 0 self

Active Bibliography

95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
1 An Implementation of the Haskell Language – Diomidis Spinellis - 1990
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
The Peter Landin prize – Kevin Hammond, Greg Michaelson - 2010
5 A Parallel Complexity Model for Functional Languages – Guy Blelloch , John Greiner - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
Constrained Cuantification in Polymorphic Type Analysis – Pavel Curtis - 1990
5 Weak Polymorphism Can Be Sound – John Greiner - 1996
3 Scribbling interactions with a formal foundation – Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-chun Chen, Nobuko Yoshida - 2011
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
22 Callee-save Registers in Continuation-passing Style – Andrew W. Appel, Zhong Shao - 1992
20 Functional Back-Ends within the Lambda-Sigma Calculus – Thérèse Hardin, Luc Maranget, Bruno Pagano - 1996