Type theory and functional programmingSimon Thompson

Type theory and functional programming

1991372 pages

No counted ratings yet

Track this book

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

About

No description yet.

More like this

Green and Sustainable FinanceSimon Thompson

Green and Sustainable Finance

Simon Thompson · 2020

HaskellSimon Thompson

Simon Thompson · 1996

Managing Machine Learning ProjectsSimon Thompson

Managing Machine Learning Projects

Simon Thompson · 2022

Semantics of type theoryThomas Streicher

Semantics of type theory

Thomas Streicher · 1991

Proofs and typesJean-Yves Girard

Proofs and types

Jean-Yves Girard · 1989

Derivation and computationHarold Simmons

Derivation and computation

Harold Simmons · 2000

An introduction to mathematical logic and type theoryP. B. Andrews

An introduction to mathematical logic and type theory

P. B. Andrews · 1986

Basic simple type theoryJ. Roger Hindley

Basic simple type theory

J. Roger Hindley · 1997

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

1 edition

Other · English · 1991
Addison-Wesley · 372 pages · 9780201416671

Type theory