Publisher 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. 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. This collection of essays reflects the breadth of research in computer
science. Following a brief biography of Robin Milner, the book contains five
sections: semantic foundations; programming logic; programming languages;
concurrency; and mobility.
More books by the authors
Similar books
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book. Read our instructions for further information.
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Book reviews » Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
|
|
![Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)](/images/background.gif) |
![Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)](/images/background.gif) |
|
|
|