Computer Science student at Trinity College, Cambridge.
My primary focusses are on Type Theory, Category Theory and Programming Languages.
Pinned Loading
-
-
-
-
-
type-systems-for-compiler-optimisations
type-systems-for-compiler-optimisations PublicA purely functional programming language with support for substructural types.
Haskell 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.