Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
The MIT Press | ISBN: 0262161885 | 2000-05-15 |PDF | 736 pages | 62 Mb
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.
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.
related link：
-
Logic Programming Languages Functional Programming Languages Theoretical Computer Science Robin Milner Semantic Foundations Programming Logic Fundamental Contributions Abstract Concepts Brief Biography Concurrency Current Research Breadth Honour Interacti
- More infomation may be in the description section, read description carefully!
- Click "Ebook Search" button to find mirrors if no download links or dead links in the description.