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

Most cited references 24

Record: found
Abstract: not found
Conference Proceedings: not found

Principal type-schemes for functional programs

Robin Milner, Luís Damas (1982)

0 comments Cited 55 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

A Theory of Objects

Martín Abadi, Luca Cardelli (1996)

0 comments Cited 50 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The revised report on the syntactic theories of sequential control and state

Matthias Felleisen, Robert Hieb (1992)

0 comments Cited 38 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2007

Pages: 2-27

DOI: 10.1007/978-3-540-73589-2_2

SO-VID: 37ef03d0-f946-406c-b883-ed725179b15a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 18

An Operational Semantics for JavaScript
Authors: Sergio Maffeis, John Mitchell, Ankur Taly
Understanding TypeScript
Authors: Gavin Bierman, Martín Abadi, Mads Torgersen
Exploring the Design Space of Higher-Order Casts
Authors: Jeremy Siek, Ronald Gerardo Garcia, Walid Taha

See all cited by

Gradual Typing for Objects

Read this book at

Related collections

Sociology of education: objects and perspectives

Most cited references 24

Principal type-schemes for functional programs

A Theory of Objects

The revised report on the syntactic theories of sequential control and state

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,897

Cited by 18