Proof, Language, and Interaction: Essays in Honour of Robin Milner - Proof, Language, and Interaction (Hardback)
  • Proof, Language, and Interaction: Essays in Honour of Robin Milner - Proof, Language, and Interaction (Hardback)
zoom

Proof, Language, and Interaction: Essays in Honour of Robin Milner - Proof, Language, and Interaction (Hardback)

(editor), (editor), (editor)
£14.95
Hardback 736 Pages
Published: 08/05/2000

This product is currently unavailable.

  • This item has been added to your basket
This collection of original essays reflects the breadth of current research in computer science.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.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gerard Berry, Lars Birkedal, Gerard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gerard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saibi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.

Publisher: MIT Press Ltd
ISBN: 9780262161886
Number of pages: 736
Weight: 1315 g
Dimensions: 226 x 185 x 43 mm

You may also be interested in...

C Programming Language
Added to basket
C++ Programming Language, The
Added to basket
Designing Data-Intensive Applications
Added to basket
Clean Code
Added to basket
£38.99
Paperback
C Programming
Added to basket
£57.99
Paperback
Domain-Driven Design
Added to basket
£55.49
Hardback
Android App Development For Dummies
Added to basket
JavaScript and jQuery
Added to basket
Theory of Fun for Game Design
Added to basket
Ada Lovelace: Bride of Science
Added to basket
Think Like a Programmer
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Cracking the Pm Interview
Added to basket
How to Build a Billion Dollar App
Added to basket
Clean Coder, The
Added to basket
Python Pocket Reference
Added to basket

Please sign in to write a review

Your review has been submitted successfully.

env: aptum
branch: