Skip navigation
Home Colin P. Stirling

Colin P. Stirling

Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

Titles by This Editor

Proof, Language, and Interaction

Essays in Honour of Robin Milner
Edited by Gordon Plotkin, Colin P. Stirling and Mads Tofte

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.