Details

Title Proof, language, and interaction: essays in honour of Robin Milner
Other creators Plotkin Gordon; Stirling Colin P.; Tofte Mads
Organization IEEE Xplore (Online Service); MIT Press
Imprint Cambridge, Massachusetts London, England: MIT Press, 2000
Collection Электронные книги зарубежных издательств; Общая коллекция
Subjects Программирования языки; Информатика; MIT Press eBooks Library
UDC 004.438; 004
Document type Other
File type Other
Language English
Rights Доступ по паролю из сети Интернет (чтение, печать)
Record key 6267426
Record create date 12/23/2015

Allowed Actions

View

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, Grard Berry, Lars Birkedal, Grard 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, Grard 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 Sabi, 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.

Access count: 16 
Last 30 days: 5

Detailed usage statistics