Proof, Language, and Interaction Essays in Honour of Robin Milner
- List Price: $80.00
- Binding: Hardcover
- Publisher: Mit Pr
- Publish date: 05/01/2000
Description:
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.
Expand description
Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.
Please Wait