How Linear is Howe? (1996)

Cached

Download Links

by Roy L. Crole
Venue:ADVANCES IN THEORY AND FORMAL METHODS
Citations:2 - 1 self

Documents Related by Co-Citation

11 A Programmer Friendly Modular De of the Semantics of Java – E Borger, W Schulte - 1998
2 Observations on a Linear PCF (Preliminary Report – G M Bierman - 1997
2 Supporting Formal Reasoning about Standard ML – G Collins, S Gilmore - 1994
2 The KOREL Programming Language (Preliminary Report – R L Crole - 1997
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
6 A proof of normalization for simply typed lambda calculus written in ALF – Catarina Coquand - 1992
6 Lectures on [Co]Induction and [Co]Algebras – R L Crole - 1998
51 Five axioms of alpha-conversion – Andrew D. Gordon, Tom Melham - 1996
39 A Formalization of the Strong Normalization Proof for System F – T Altenkirch - 1993
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
238 The Lazy Lambda Calculus – Samson Abramsky - 1990
891 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
32 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
302 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
7 Equivalence in functional languages with eects – I Mason, C Talcott - 1991
12 Some notes on inductive and co-inductive techniques in the semantics of functional programs – Andrew M. Pitts, Andrew M. Pitts, A. M. Pitts - 1994
11 The lazy λ-calculus – S Abramsky - 1990
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994