Home Advanced Search

Advanced Search - Page 1

The definition of Standard ML, revised
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner, Mads Tofte, Robert Harper, David MacQueen
The Definition of Standard ML
  • DJVU
  • English
  • Year: 1990
  • Author: Milner R., Tofte M., Harper R.
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
  • PDF
  • English
  • Year: 1990
  • Author: Mads Tofte
Commentary on Standard ML
  • PDF
  • English
  • Year: 1991
  • Author: Milner R., Tofte M.
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin Stirling, Mads Tofte
Communication and Concurrency
  • DJVU
  • English
  • Year: 1995
  • Author: Robin Milner
Communicating and mobile systems: the pi-calculus
  • DJVU
  • English
  • Year: 1999
  • Author: Robin Milner
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin P. Stirling, Mads Tofte
Absolutely Positively Gundog Training: Positive Training for Your Retriever Gundog
  • EPUB
  • English
  • Year: 2015
  • Author: Robert Milner
Andrey Rublev: The Artist and His World
  • PDF
  • English
  • Year: 2023
  • Author: Robin Milner-Gulland
search