tsung-ju / SystemFLinks

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

Sorting: