plt

Here are 3 public repositories matching this topic...

An OCaml library implementing unifiable abstract binding trees (UABTs)

ocaml abt variables unification plt

programming language for smart contract

programming-language translator ocaml smart-contracts plt minic deepsea opensc

Language interpreters and type systems implementation from 4190.310 PL homeworks and lecture notes.

ocaml pl plt

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

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