%A Robin Milner
%T How ML evolved
%J Polymorphism
%K functional programming
%V 1
%N 1
%D January 1983

%A Ravi Sethi
%T Unambiguous syntax for ML
%J Polymorphism
%K functional programming
%V 1
%N 1
%D January 1983

%A Luca Cardelli
%T The functional abstract machine
%J Polymorphism
%K functional programming
%V 1
%N 1
%D January 1983

%A D.C.J. Matthews
%T POLY report
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A D.C.J. Matthews
%T Introduction to POLY
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A J. Fairbairn
%T Ponder and its type system
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A Lawrence Paulson
%T Recent developments in LCF: examples of structural induction
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A Lawrence Paulson
%T Rewriting in Cambridge LCF
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A Lawrence Paulson
%T The revised logic PPLambda: a reference manual
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A C. Kitchen
%A B. Linch
%T ML under Eunice
%J Polymorphism
%K functional programming
%V 1
%N 2
%D April 1983

%A Robin Milner
%T A proposal for standard ML
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Luca Cardelli
%T ML under Unix
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Dave MacQueen
%T Modules for SML
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Luca Cardelli
%T Stream input/output
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Mike Gordon
%T Proving a computer correct
with the LCF_LSM hardware verification system (abstract only)
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Mike Gordon
%T LCF_LSM, a system for specifying and veifying hardware
(abstract only)
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Lawrence Paulson
%T Tactics and tacticals in Cambridge LCF (abstract only)
%J Polymorphism
%K functional programming
%V 1
%N 3
%D December 1983

%A Robin Milner
%T The standard ML core language
%J Polymorphism
%K functional programming
%V 2
%N 2
%D October 1985

%A David MacQueen
%T Modules for standard ML
%J Polymorphism
%K functional programming
%V 2
%N 2
%D October 1985

%A Robert W. Harper
%T Standard ML input/output
%J Polymorphism
%K functional programming
%V 2
%N 2
%D October 1985