There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Electronic): 9780262287005

Publication date: 1997

DOI: 10.7551/mitpress/2319.001.0001

SO-VID: 3103c0f7-b07c-410d-8a73-b555178e549f

History

Data availability:

Comments

Comment on this book

Cited by 47

Mechanized Semantics for the Clight Subset of the C Language
Authors: Sandrine Blazy, Xavier Leroy
Dependent ML An approach to practical programming with dependent types
Authors: HONGWEI XI
Type Systems for Concurrent Programs
Authors: Naoki Kobayashi

See all cited by

The Definition of Standard ML

Read this book at