Home Advanced Search

Advanced Search - Page 1

Tips for computer scientists on Standard ML
  • PDF
  • English
  • Year: 1993
  • Author: Tofte M.
Commentary on Standard ML
  • PDF
  • English
  • Year: 1991
  • Author: Milner R., Tofte M.
The Definition of Standard ML
  • DJVU
  • English
  • Year: 1990
  • Author: Milner R., Tofte M., Harper R.
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • PDF
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
  • PDF
  • English
  • Year: 1990
  • Author: Mads Tofte
Crash landing on Iduna (Laser Book 3)
  • PDF
  • English
  • Year: 1975
  • Author: Arthur Tofte
Icons and Instincts: Choreographing and Directing Entertainment's Biggest Stars
  • EPUB
  • English
  • Year: 2022
  • Author: Vincent Paterson; Amy Tofte
Commentary on Standard ML
  • PDF
  • English
  • Year: 1991
  • Author: Robin Milner, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin Stirling, Mads Tofte
search