Book
Basic simple type theoryJ. Roger Hindley

Basic simple type theory

J. Roger Hindley
1997193 pages
No counted ratings yet
4 editions

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign in
Add to list

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

4 editions
  • Paperback · English · 2008
    Cambridge University Press · 200 pages · 9780521054225
  • Other · English · 2011
    Cambridge University Press · 9780511834738
  • Other · English · 2009
    Cambridge University Press · 9780511608865
  • Other · English · 1997
    Cambridge University Press · 186 pages · 9780521465182
Type theoryProgramming LanguagesLangages de programmationThéorie des typesTypentheorieProgrammeertalenTypes, Théorie des