GitHub - frutiger/tapl: Interpreters of Types and Programming Languages

Interpreters of TAPL

This repository contains implementations of interpreters from TAPL¹ in Python 3. The following languages have implementations:

bool - untyped booleans
nat - untyped natural numbers
arith - untyped booleans and natural numbers
untyped - untyped lambda calculus
fulluntyped - untyped lambda calculus augmented with booleans and natural numbers

¹B. C. Pierce, Types and Programming Languages, Cambridge, MA, MIT Press, 2002.

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
tapl		tapl
tests		tests
tools		tools
.travis.yml		.travis.yml
README.md		README.md
aws.py		aws.py
setup.py		setup.py