fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Basic simple type theory

Basic simple type theory

by J. Roger Hindley

Programming languages (Electronic computers)Type theoryProgramming languages (electronic computers)Programming LanguagesLangages de programmation
0.0
Open Library
Open Library

Themes & subjects

Programming languages (Electronic computers)Type theoryProgramming languages (electronic computers)Programming LanguagesLangages de programmationThéorie des types

Author

J. Roger Hindley

Pages

200

Read time

≈ 5h

Editions

4

Language

English

Publisher

Cambridge University Press

ISBN

9780511834738

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Java for dummies

Computer Technology · Java (Computer program language)

Java for dummies

Barry A. Burd

2006

Learning Perl

Perl (Computer program language) · Perl (Computer utility)

Learning Perl

Randal L. Schwartz

1993

The C++ programming language

C++ (Computer program language) · C++ (Computer programming language)

The C++ programming language

Bjarne Stroustrup

1986

Reproducible Research with R and RStudio

Research, data processing · Programming languages (electronic computers)

Reproducible Research with R and RStudio

Christopher Gandrud

2013

Raspberry Pi User Guide

Raspberry Pi (Computer) · Programming

Raspberry Pi User Guide

Eben Upton

2012

Programming Perl

Perl (Computer program language) · Programming languages

Programming Perl

Larry Wall

1990

R for Programmers

Programming languages (electronic computers) · Computer programming

R for Programmers

Dan Zhang

2016

JavaScript bible

Computer Technology · Handbooks, manuals

JavaScript bible

Danny Goodman

1996

The R Book

MATHEMATICS / Probability & Statistics / General · Mathematical statistics

The R Book

Michael J. Crawley

2007

Free-Format RPG IV

Rpg (computer program language) · Programming languages (electronic computers)

Free-Format RPG IV

Jim Martin

2005

DATA MINING FOR BUSINESS ANALYTICS

Business, data processing · Data mining

DATA MINING FOR BUSINESS ANALYTICS

Galit Shmueli

2016

Mathematical Statistics with Resampling and R

Statistics, data processing · Mathematical statistics

Mathematical Statistics with Resampling and R

Laura M. Chihara

2012

Statistics

R (Langage de programmation) · Statistique mathématique

Statistics

Michael J. Crawley

2005

Behavioural Types

Computer programming · Programming languages (electronic computers)

Behavioural Types

Simon Gay

2017

Information and Knowledge

Genetic epistemology · Philosophy

Information and Knowledge

Giuseppe Primiero

2007

Type Theory and Formal Proof

Logic, symbolic and mathematical · Type theory

Type Theory and Formal Proof

Rob Nederpelt

2014

History and philosophy of constructive type theory

Type theory · Mathematics, philosophy

History and philosophy of constructive type theory

Giovanni Sommaruga

2000

Type-theoretical grammar

Comparative and general Grammar · Grammar, Comparative and general

Type-theoretical grammar

Aarne Ranta

1994