bartfrenk / types-and-programming-languages Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Haskell implementations of programming languages from Pierce's Types and Programming Languages

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
implementations		implementations
README.md		README.md

Repository files navigation

Description

This repository contains notes and Haskell programs written to study Types and Programming Languages by Benjamin Pierce.

The implementations folder holds a Stack project that currently has implementations for:

untyped arithmetic expressions (Arith.hs, Chapter 3)
pure untyped lambda calculus (Untyped.hs, Chapter 7)
simply typed lambda calculus with base type boolean (SimpleBool.hs, Chapter 10)

About

Haskell implementations of programming languages from Pierce's Types and Programming Languages

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%