Basic simple type theoryJ. Roger Hindley

Basic simple type theory

Name: Basic simple type theory
ISBN: 9780511834738

by J. Roger Hindley

193 pagesFirst published 19974 editions

No counted ratings yet

Add to shelf Add to list

Track this book

You choose which shelves are public. Progress and read dates stay yours.

Rating integrity

Healthy

Scores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double; ratings from readers who didn’t finish are shown but not counted.

More like this

[Lambda]-calculus and combinatorsJ. Roger Hindley

[Lambda]-calculus and combinators

J. Roger Hindley

More by J. Roger Hindley

Want to read Not interested

Introduction to combinators and [lambda]-calculusJ. Roger Hindley

Introduction to combinators and [lambda]-calculus

J. Roger Hindley

More by J. Roger Hindley

Want to read Not interested

JavaScriptDavid Flanagan

JavaScript

David Flanagan

Also tagged Programming Languages

Want to read Not interested

Python For Data AnalysisWes McKinney

Python For Data Analysis

Wes McKinney

Also tagged Programming Languages

Want to read Not interested

Automate the Boring Stuff with PythonAl Sweigart

Automate the Boring Stuff with Python

Al Sweigart

Also tagged Programming Languages

Want to read Not interested

PythonMark Lutz

Python

Mark Lutz

Also tagged Programming Languages

Want to read Not interested

Eloquent JavascriptMarijn Haverbeke

Eloquent Javascript

Marijn Haverbeke

Also tagged programming languages

Want to read Not interested

JavaScript for dummiesEmily A. Vander Veer

JavaScript for dummies

Emily A. Vander Veer

Also tagged Programming Languages

Want to read Not interested

More by J. Roger Hindley

All books

[Lambda]-calculus and combinatorsJ. Roger Hindley

[Lambda]-calculus and combinators

2008

Introduction to combinators and [lambda]-calculusJ. Roger Hindley

Introduction to combinators and [lambda]-calculus

1986

How it felt

Be the first to tag this

Reviews

No reviews yet. Sign in to write the first.

Editions

4 in Spinefolk

Format	Publisher	Year	Pages	ISBN
Edition	Cambridge University Press	2011	—	9780511834738
Edition	Cambridge University Press	2009	—	9780511608865
Paperback	Cambridge University Press	2008	200	9780521054225
Edition	Cambridge University Press	1997	186	9780521465182

Type theoryProgramming LanguagesLangages de programmationThéorie des typesTypentheorieProgrammeertalenTypes, Théorie des