tsung-ju / SystemF

An Agda formalization of System F and the Brown-Palsberg self-interpreter
24Updated 4 years ago

Alternatives and similar repositories for SystemF:

Users that are interested in SystemF are comparing it to the libraries listed below