PLRG @ Bristol

Programming Languages Research Group, University of Bristol

Bristol, United Kingdom

Pinned Repositories

advanced-haskell-2024
Resources for the 2024 advanced haskell seminar series at bristol
Language:Haskell11
ATiPL
Unit website for the Advanced Topics in Programming Languages course (COMSM0067).
01
fir
Fun in the REPL
Language:SCSS00
Haskell-Worksheet-Generation-Template-Project
A template set-up for generating hyperlegible and dyslexic-friendly type-checked worksheets.
Language:TeX00
HoTT
Homotopy type theory
Language:Coq00
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.
Language:Haskell52
plrg-bristol.github.io
Programming Languages Research Group (PLRG) website
Language:HTML11

plrg-bristol/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.
Language:Haskell52
plrg-bristol/advanced-haskell-2024
Resources for the 2024 advanced haskell seminar series at bristol
Language:Haskell11
plrg-bristol/plrg-bristol.github.io
Programming Languages Research Group (PLRG) website
Language:HTML11
plrg-bristol/ATiPL
Unit website for the Advanced Topics in Programming Languages course (COMSM0067).
01
plrg-bristol/fir
Fun in the REPL
Language:SCSS00
plrg-bristol/Haskell-Worksheet-Generation-Template-Project
A template set-up for generating hyperlegible and dyslexic-friendly type-checked worksheets.
Language:TeX00
plrg-bristol/HoTT
Homotopy type theory
Language:Coq00