A Specification for Dependent Types in Haskell

Understanding Strong Specification in Coq: Implementing Haskell's Replicate FunctionПодробнее

[POPL'22] Staging with Class: A Specification for Typed Template HaskellПодробнее

A Role for Dependent Types in HaskellПодробнее

"Dependent Types in Haskell" by Stephanie WeirichПодробнее

John Leo: Dependent Types in GHCПодробнее

Liquid Types for HaskellПодробнее

Future of Haskell: Dependent typesПодробнее

Nathan Sorenson - Domain Specific Type SystemsПодробнее

Dependent Types in Haskell: Present and FutureПодробнее