Видео с ютуба Gadts

Easy GADTs by Repeating Yourself - Eduardo Rafael - FUN OCaml 2024

Une autre intro aux GADTs by Xavier VAN DE WOESTYNE

gadt

Principal Type Inference for GADTS

5.1 - GADTs - Desenvolvimento Orientado a Tipos

5.4 - Árvore Balanceada com GADTs - Desenvolvimento Orientado a Tipos

[APLAS] Characterizing functions mappable over GADTs

3 02 Ghostbuster: A Tool for Simplifying and Converting GADTs

Understanding Haskell Type Inference with GADTs and Typeclass Constraints

[ML'22] Interpreting OCaml GADTs into Coq

Understanding the Difference between GADTs and GADT Syntax in Haskell

Travis Stevens- Using GADTs to create a “Full Stack”, Runtime Gen. Scaffolding Lib in Scala- λC 2019

Pierre Cagne - Parametricity for GADTs

[LSFA 2021] GADTs, Functoriality, Parametricity: Pick Two

How to Restrict Data Parameters in Haskell Using GADTs

CS3100 POP - Lec 31 - GADTs

Designing Types in Haskell: Enforcing Rules with GADTs