POPL’92 / Dublin / Ottawa / Novosibirsk / Bristol / Pisa / Paris / Tokyo / Amagi / Marktoberdorf / Gdansk / Le Chesnay / Amsterdam / Szeged / Sendai / London / /
Company
IBM / Elsevier Science B.V. / Cambridge University Press / MIT Press / Cambridge MIT Press / CONCUR / Bell Laboratories / Edinburgh University Press / /
Country
Germany / Hungary / Italy / Poland / France / Japan / United States / /
Facility
University of Cambridge Computer Laboratory / Edinburgh University / University of Edinburgh / Prentice Hall / New Mexico State University / NATO Advanced Study Institute / /
IndustryTerm
reactive systems / computing / /
Organization
Cambridge University / Edinburgh University / International Summer School / MIT / University of Cambridge Computer Laboratory / Congress / NATO Advanced Study Institute / Machine Intelligence / New Mexico State University / University of Edinburgh / Stanford / /
Person
Jan Willem Klop / James J. Leifer / Robert Harper / Robin Milner / Ian Wand / David MacQueen / Gian Luca Cattani / /
Position
author / /
Product
Skullcandy G.I. Headphone/Headset / /
ProgrammingLanguage
ALGOL / Standard ML / ML / /
ProvinceOrState
Swansea / New Mexico / California / /
PublishedMedium
The Computer Journal / Theoretical Computer Science / Lecture Notes in Computer Science / /
Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages).