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

New posts in gadt

What does GADT offer that cannot be done with OOP and generics?

haskell generics ocaml gadt type-theory

Simplifying a GADT with Uniplate

haskell gadt uniplate

GADTs vs. MultiParamTypeClasses

haskell gadt

Haskell pattern matching on GADTs with Data Kinds

haskell pattern-matching gadt data-kinds

Encoding "Less Than" with Haskell

haskell gadt dependent-type singleton-type

Type inference with GADTs - a0 is untouchable

haskell gadt

Total real-time persistent queues

haskell queue dependent-type gadt

How to put constraints on type variable of kind `Constraint`?

haskell ghc typeclass gadt

Pattern matching in Observational Type Theory

haskell agda gadt type-theory observational-type-theory

GADT's failed exhaustiveness checking

haskell types gadt

How do you allow GADTs in Haskell?

haskell gadt

Fundeps and GADTs: When is type checking decidable?

haskell type-inference type-systems gadt

Parametrized Inductive Types in Agda

gadt agda

Defining Eq instance for Haskell GADTs

haskell gadt

Equality for GADTs which erase type parameter

haskell gadt

Understanding the limits of Scala GADT support

scala type-systems gadt scala-compiler

When are refutation cases necessary in OCaml?

pattern-matching ocaml gadt

Why GADT/existential data constructors cannot be used in lazy patterns?

haskell pattern-matching lazy-evaluation existential-type gadt

Real world use of GADT

haskell gadt

What does data ... where mean in Haskell?

haskell syntax gadt
« Newer Entries