Syntactic Detection of Single-Threading using Continuations (1991)

Cached

Download Links

by Pascal Fradet
Venue:FPCA'91
Citations:9 - 0 self

Active Bibliography

1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
22 Observers for Linear Types – Martin Odersky - 1992
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
19 Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates – A. V. S. Sastry, William D. CLinger, Zena Ariola - 1993
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
456 Comprehending Monads – Philip Wadler - 1992
Une Analyse De Globalisation De Programmes Fonctionnels Basée Sur Une Sémantique Naturelle – Valérie Gouranton
March 1991 – Ar Ch, Philip Wadler - 1991
88 Is there a use for linear logic? – Philip Wadler - 1991
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language – Markus Freericks - 1996
96 How to Declare an Imperative – Philip Wadler - 1995
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
2 Towards efficient partial evaluation – Karoline Malmkjær - 1993
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
Compilation of Head and Strong Reduction – Pascal Fradet Projet, Calcul Symbolique, Programmation Et, Gnie Logiciel, Pascal Fradet, Pascal Fradet - 1994