Two Models For Integrating Persistence and Lazy Functional Languages (1991)

Cached

Download Links

by David J. McNally , Antony J. T. Davie
Citations:5 - 0 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
94 The De nition of Standard ML – Robin Milner, Mads Tofte, David Macqueen - 1997
450 The Unix Time-Sharing System – D. M. Ritchie, K. Thompson - 1974
235 An approach to persistent programming – M P ATKINSON, P J BAILEY, K J CHISHOLM, P W COCKSHOTT, R MORRISON - 1990
3 First-class modules for component-based programming: Case for support – Simon Peyton Jones, Gum A, Sl Peyton Jones, Sl Peyton Jones, J Launchbury, S Liang, P Hudak, Mark Jones, Monad Transformers, M Odersky, K Laufer, Putting Type Annotations - 1996
26 The Implementation of Practical Functional Programming Languages – N Perry - 1990
47 First-class Polymorphism with Type Inference – Mark P. Jones
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
1312 Monads for functional programming – Philip Wadler - 1995
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
939 A theory of type polymorphism in programming – Robin Milner - 1978
15 First Class File I/O – Marco Pil - 1996
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
12 Toward Relaxing Assumptions in Languages and Their Implementations – A Wulf - 1980