When is a Functional Program Not a Functional Program? (1999)

Cached

Download Links

by John Longley
Venue:Proceedings of Fourth ACM SIGPLAN International Conference on Functional Programming
Citations:19 - 7 self

Documents Related by Co-Citation

395 LCF considered as a programming language – G Plotkin - 1977
36 The sequentially realizable functionals – John Longley
60 Realizability Toposes and Language Semantics – J Longley - 1994
13 Logical Full Abstraction and PCF – John Longley, Gordon Plotkin - 1996
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
265 Foundations of Constructive Mathematics – M J Beeson - 1985
77 A Curry-Howard foundation for functional computation with control – C. -h. L. Ong, C. A. Stewart - 1997
17 Matching typed and untyped realizability – J Longley - 1999
52 Sequentiality and Strong Stability – A Bucciarelli, T Ehrhard - 1991
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
32 A Semantic analysis of control – James David Laird - 1998
3 Parallel Patternmatching in Lazy Functional Languages – R L WHILE - 1994
14 On characterizations of the basic feasible functional – R Irwin, B Kapron, J Royer
26 On full abstraction for – Judy E, Judy E. Scott, Guy G Gable - 1994
48 A type-theoretical alternative to ISWIM – D S Scott - 1993
21 A Combinatory Algebra for Sequential Functionals of Finite Type – Jaap Van Oosten - 1997
59 Hereditarily Sequential Functionals – Hanno Nickau - 1994
210 Data types as lattices – D SCOTT - 1976