Models for Persistence in Lazy Functional Programming Systems (1993)

Cached

Download Links

by David John McNally
Citations:9 - 0 self

Active Bibliography

447 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
938 A theory of type polymorphism in programming – Robin Milner - 1978
604 Architectural Styles and the Design of Network-based Software Architectures – Roy Thomas Fielding - 2000
575 An introduction to software architecture – David Garlan, Mary Shaw - 1993
566 Term Rewriting Systems – J. W. Klop - 1992
537 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
554 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
881 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992