The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
-
Updated
Dec 6, 2021 - Coq
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
Exploring GADT and Pattern Matching as an exercise in Typescript
Program that can generate Fold and Build declarations for Haskell GADTs
Blazingly type safe GPU accelerated Multi-Layer Perceptron
Formal foundations for GADTs in Scala
Type-safe and extensible metrics monad over ekg
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Protobufs for functional programming
Leibniz equivalence and Liskov substitutability library for Scala.
Add a description, image, and links to the gadt topic page so that developers can more easily learn about it.
To associate your repository with the gadt topic, visit your repo's landing page and select "manage topics."