1-24 of 43 Books

Categories and computer science
By R. F. C. Walters

The definition of standard ML
By R. Milner,Robin Milner,Mads Tofte,Harper, Robert,David MacQueen

The functional approach to programming
By Guy Cousineau

Modern compiler implementation in ML
By Andrew W. Appel

Applicative high order programming
By Stefan Sokołowski

Explorations in parallel distributed processing
By James L. McClelland

ML for the working programmer
By Lawrence C. Paulson

Introduction to HOL
By Michael J. C. Gordon,T. F. Melham

Modern compiler implementation in C
By Andrew W. Appel

Functional programming using standard ML
By Åke Wikström
First-class polymorphisms for ML
First-class polymorphisms for ML
By Stefan Kahrs
Interfaces and extended ML
Interfaces and extended ML
By Stefan Kahrs
Mistakes and ambiguities in the definition of Standard ML
Mistakes and ambiguities in the definition of Standard ML
By Stefan Kahrs
ML'06
ML'06
By ACM SIGPLAN Workshop on ML (2006 Portland, Ore.)

A practical course in functional programming using ML
By Richard Bosworth