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 Chapter

Publication date (Print): 2005

Pages: 50-65

DOI: 10.1007/11541868_4

SO-VID: 42ddf7be-4dae-49b5-8ad3-5bb960ad6fc7

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 30

Gradual Typing for Objects
Authors: Jeremy Siek, Walid Taha
The Locally Nameless Representation
Authors: Arthur Charguéraud
Modules over monads and initial semantics
Authors: André Hirschowitz, Marco Maggesi

See all cited by

Mechanized Metatheory for the Masses: The PoplMark Challenge

Read this book at