Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in gadt

Pattern Matching on GADTs

haskell typeclass gadt

Type Juggling with Existentials at Runtime

haskell dependent-type gadt existential-type combinators

How to use GADTs across modules in OCaml without raising warnings?

types pattern-matching ocaml compiler-warnings gadt

Adventures with Types in Haskell: GADT's: why does the following typechecks?

haskell functional-programming type-inference gadt

Polymorphic result type GADT function

haskell types gadt

Parsing and the use of GADTs

haskell gadt attoparsec

Can someone explain the type syntax used in this OCaml program?

polymorphism ocaml variant gadt

Modeling a domain as a GADT type and providing do-sugar for it

haskell gadt

Functions to Polymorphic data types

haskell polymorphism gadt existential-type

Can I coerce an existentially quantified argument in a type constructor?

haskell types gadt existential-type

Return GADT from function

haskell dependent-type gadt

Is this use of GADTs fully equivalent to existential types?

haskell gadt existential-type

Can I statically reject different instantiations of an existential type?

haskell existential-type gadt type-level-computation

Implicit Arguments and Type Families

haskell types singleton gadt

How would one create a proper polymorphic Functor instance failing on unsafeVacuous?

haskell functor gadt bottom-type

Eliminating subst to prove equality

gadt agda

Congruence for heterogenous equality

equality proof gadt agda

OCaml's GADT and many type variables

types ocaml gadt
Older Entries »