Pinned Repositories
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
synthesis_artefact
website
Personal Site
jackohughes's Repositories
jackohughes/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
jackohughes/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
jackohughes/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
jackohughes/synthesis_artefact
jackohughes/website
Personal Site