Statically typed friendly functions via partially abstract types View on Open Library

Statically typed friendly functions via partially abstract types

by Benjamin C. Pierce

No reviews yet
First published: 1993 1 language
Subjects
Type theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Benjamin C. Pierce

Basic category theory for computer scientists

Basic category theory for computer scien...

Types and Programming Languages

Types and Programming Languages

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming...

You Might Also Like

More in Type theory
Sense and Sensibility

Sense and Sensibility

Jane Austen
The Mill on the Floss

The Mill on the Floss

George Eliot
The Canterbury Tales

The Canterbury Tales

Geoffrey Chaucer
A Room of One's Own

A Room of One's Own

Virginia Woolf
Utopia

Utopia

Thomas More
Life on the Mississippi

Life on the Mississippi

Mark Twain