Proof, language, and interaction :essays in honour of Robin Milner

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Proof, language, and interaction :essays in honour of Robin Milner

Plotkin, G. - Personal Name; Stirling, Colin P. - Personal Name; Tofte, Mads. - Personal Name; Milner, R. - Personal Name;

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.ContributorsSamson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, G?erard Berry, Lars Birkedal, G?erard 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, G?erard 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 Sa?ibi, 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 WinskelOCLC-licensed vendor bibliographic record.

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: Cambridge, Mass. : : MIT Press,., 2000.
Collation: 1 online resource (xiv, 722 pages) :illustrations.
Language: English
ISBN/ISSN: 0585388903
Classification: -
Content Type: -
Media Type: -
Carrier Type: -
Edition: -
Subject(s): Computer science.
Specific Detail Info: -
Statement of Responsibility: edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.

Other version/related

No other version available

File Attachment

No Data

Comments

You must be logged in to post a comment