Pinned Repositories
deq
A tool for deciding language equivalence of deterministic register automata
coneqct
sjrsay.github.io
toc
intensional-datatys
A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin.
COMS20007
COMS20007 Programming Languages and Computation
plrg-bristol.github.io
Programming Languages Research Group (PLRG) website
labcode
Starter code for the COMS20007 practical lab sheets.
COMS30040
COMS30040 Types and Lambda Calculus
intensional-constraints
Set-constraint based program analysis in linear time!
sjrsay's Repositories
sjrsay/sjrsay.github.io
sjrsay/toc
sjrsay/deq
A tool for deciding language equivalence of deterministic register automata
sjrsay/coneqct