|
via comp.lang.functional
Robin Milner is the Milner in Hindley-Milner type systems, and so the book should be listed here anyway. The book is said to contain five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Most of these are directly relavent for us.
Posted to "" by Ehud Lamm on 8/8/00; 2:46:24 AM
|
|
Book in Honour of Robin Milner
