The Edinburgh SML Library (1991)

Cached

Download Links

by Dave Berry
Citations:9 - 1 self

Documents Related by Co-Citation

110 Elements of Functional Programming – C Reade - 1989
75 Introduction to Standard ML – Robert Harper - 1986
367 ML for the Working Programmer – Laurence C Paulson - 1991
19 Programming with Standard ML – C Myers, C Clack - 1993
21 Four lectures on Standard ML – Mads Tofte
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
625 Compiling With Continuations – A W Appel - 1992
68 Functional Programming Using Standard ML – Ake Wikström - 1987
198 Reflections on Standard ML – David B. MacQueen - 1992
54 Implementing Functional Languages A Tutorial – Simon L Peyton Jones, David Lester - 1990
7 An abstract interpretation for ML equality kinds – C A Gunter, E L Gunter, D B MacQueen - 1991
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
34 A theory of type polymorphism in programming languages – R Milner - 1978
37 The Standard ML Core Language – R Milner - 1985
8 Limits of ML-definability – Stefan Kahrs - 1996
61 Programming in Ada 95 – J Barnes - 1996
10 Functional Pearls: Efficient sets–a balancing act – S Adams - 1993
765 The Java Programming Language – K Arnold, J Gosling - 1996