by Greg Michaelson
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Categories (Mathematics) · Computer programming
Categories and computer science
1991
ML (Computer program language) · Pascal
The Standard ML basis library
2004
Parallel processing (Electronic computers) · ML (Langage de programmation)
Concurrent Programming in ML
1999
ML (Computer program language) · High level programming languages
The definition of standard ML
1997
Functional programming (Computer science) · Computer programming
The functional approach to programming
1998
Compilers (Computer programs) · ML (Computer program language)
Modern compiler implementation in ML
ML (Computer program language)
Elements of ML programming
1994
Ml (computer program language) · Functional programming (computer science)
ML with Concurrency
2011
Distributed processing · Electronic computers
Explorations in parallel distributed processing
1988
ML (Computer program language) · Type donnée
Applicative high order programming
ML for the working programmer
Functional programming (Computer science) · ML (Computer program language)
ML With Concurrency
1996
HOL (Computer file) · ML (Computer program language)
Introduction to HOL
1993