TIAP Tom Schrijvers - GADTs Meet Their Match
Haskell 2014: Effect Handlers in Scope, Tom Schrijvers
IFL 2012. Tom Schrijvers: Rational Term Equality, Functionally
TIAP Katya Komendantskaya - Structural Resolution
[PEPM 2021] Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers
TIAP Adam Gundry - A Typechecker Plugin for Units of Measure
TIAP Garrett Morris - Substructural Types with Class
TIAP Edwin Brady - Implementing a Dependently Typed Programming Language
From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes
TIAP Bob Atkey - An Algebraic Approach to Typechecking and Elaboration
TIAP Conor McBride - Type Inference needs Revolution
Principal Type Inference for GADTS
ZuriHac 2016: Generic (and type-level) Programming with Generics-sop
10 GADTs and Exhaustivness: Looking for the Impossible
(Deep) Induction Rules for GADTs
@rae: Some functions on length-indexed vectors require custom GADTs
Generalized algebraic data types and all that
B-trees with GADTs
gadt
[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)
![[PEPM 2021] Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers](https://img.youtube.com/vi/BmBSJFkfL2M/0.jpg)
![[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)](https://img.youtube.com/vi/El6gBupbJOc/0.jpg)