#

tapl

Here are 3 public repositories matching this topic...

deeplang-org / deeplang-type-system

DeepLang type system based on Ocaml

compiler ocaml lex yacc tapl bnfc

Updated Oct 31, 2024
OCaml

wangjiezhe / tapl

Source code for TAPL

ocaml lambda-calculus tapl type-system typed-lambda-calculus

Updated Mar 24, 2017
OCaml

crvdgc / tapl

An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

tapl types-and-programming-languages

Updated Jul 15, 2022
OCaml

Improve this page

Add a description, image, and links to the tapl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tapl topic, visit your repo's landing page and select "manage topics."