ML for the working programmer View on Open Library

ML for the working programmer

by Lawrence C. Paulson

No reviews yet
First published: 1991 1 language ISBN: 0521570506
Subjects
ML (Computer program language)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Lawrence C. Paulson

Isabelle

Isabelle

Logic and computation

Logic and computation

Logic and Computation

Logic and Computation

Isabelle/HOL

Isabelle/HOL

Natural deduction theorem proving via higher-order resolution

Natural deduction theorem proving via hi...

Recent developments in LCF

Recent developments in LCF

You Might Also Like

More in ML (Computer program...
Categories and computer science

Categories and computer science

R. F. C. Walters
The Standard ML basis library

The Standard ML basis library

John H. Reppy
Concurrent Programming in ML

Concurrent Programming in ML

John H. Reppy
The definition of standard ML

The definition of standard ML

R. Milner
Explorations in parallel distributed processing

Explorations in parallel distributed pro...

James L. McClelland
Applicative high order programming

Applicative high order programming

Stefan SokoĊ‚owski