Clicky

Type and effect systems by Torben Amtoft and similar books you'll love - Bookscovery

Home > Authors > Torben Amtoft > Type and effect systems

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

12 Books Similar to Type and effect systems by Torben Amtoft

Bookscovery readers who liked Type and effect systems also like Formal Methods, Principles of program analysis and Semantics with applications. How many of these have you read?

Formal Methods by Flemming Nielson

Cover of Formal Methods
Buy this book at:
Bookshop.org Amazon

Principles of program analysis by Flemming Nielson

Cover of Principles of program analysis
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Two-level functional languages by Flemming Nielson

Cover of Two-level functional languages
Buy this book at:
Bookshop.org Amazon

Coordination Models and Languages by Hanne Riis Nielson

Cover of Coordination Models and Languages
Buy this book at:
Bookshop.org Amazon

Formal Methods by Flemming Nielson

Cover of Formal Methods
Buy this book at:
Bookshop.org Amazon

Principles of program analysis by Flemming Nielson

Cover of Principles of program analysis
Buy this book at:
Bookshop.org Amazon

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996 by Hanne Riis Nielson

Cover of Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Semantics with applications by Hanne Riis Nielson

Cover of Semantics with applications
Buy this book at:
Bookshop.org Amazon

Static Analysis by Hanne Riis Nielson

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

Two-level functional languages by Flemming Nielson

Cover of Two-level functional languages
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Type and effect systems

Please sign in to leave a comment