Skip to content

Implementing a programming language with the help of the material in Types and Programming Languages by Benjamin C. Pierce.

Notifications You must be signed in to change notification settings

kevinwilde/mypl_deno

Repository files navigation

Implementing a programming language. The language includes a static type system with full type inference. The syntax is mostly based on racket. Heavily aided by Types and Programming Languages by Benjamin C. Pierce.

In addition to TAPL, Complete Type Inference for Simple Objects by Mitchell Wand (1987) was used as a resource. The type checker includes an implementation of the algorithm Wand described for inferring the types of records.

About

Implementing a programming language with the help of the material in Types and Programming Languages by Benjamin C. Pierce.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages