nuprl / TypeWhich

Customizable, solver-based type migration for the gradually-typed lambda calculus.

https://zenodo.org/record/5141479

2801

nuprl/TypeWhich Stargazers

Jeff Carpenter
JeffCarpenter
Mike Steele
mikesteele

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.