https://cse.chalmers.se/~peterd/papers/dependenttypesatwork - discu.eu

Linking pages

A Python frozenset interpretation of Dependent Type Theory | Hey There Buddo! https://www.philipzucker.com/frozenset_dtt/ 4 comments
GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments

Related searches:

Search whole site: site:cse.chalmers.se

See how to search.

Submit link to: