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

Active Bibliography

36 The sequentially realizable functionals – John Longley
12 Sequential algorithms and strongly stable functions РPaul-Andr̩ Melli̬s - 2003
Realizability Models for Sequential Computation – John Longley - 1998
1 Matching typed and untyped realizability (Extended abstract) – John Longley
The Combinatory Algebras U and ... are not Equivalent – Karl Gernot Belger
1 Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+ – Vladimir Sazonov - 2007
317 An open graph visualization system and its applications to software engineering – Emden R. Gansner, Stephen C. North - 2000
195 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
239 The Lazy Lambda Calculus – Samson Abramsky - 1990