Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in gadt
Type inference with GADTs - a0 is untouchable
Oct 27, 2020
haskell
gadt
Total real-time persistent queues
Nov 11, 2022
haskell
queue
dependent-type
gadt
How to put constraints on type variable of kind `Constraint`?
Apr 09, 2022
haskell
ghc
typeclass
gadt
Pattern matching in Observational Type Theory
Jan 28, 2022
haskell
agda
gadt
type-theory
observational-type-theory
GADT's failed exhaustiveness checking
Jan 10, 2022
haskell
types
gadt
How do you allow GADTs in Haskell?
Nov 08, 2016
haskell
gadt
Fundeps and GADTs: When is type checking decidable?
Apr 25, 2017
haskell
type-inference
type-systems
gadt
Parametrized Inductive Types in Agda
Jun 11, 2020
gadt
agda
Defining Eq instance for Haskell GADTs
Dec 24, 2021
haskell
gadt
Equality for GADTs which erase type parameter
Sep 12, 2022
haskell
gadt
Understanding the limits of Scala GADT support
Mar 30, 2022
scala
type-systems
gadt
scala-compiler
When are refutation cases necessary in OCaml?
Jan 18, 2020
pattern-matching
ocaml
gadt
Why GADT/existential data constructors cannot be used in lazy patterns?
Feb 09, 2021
haskell
pattern-matching
lazy-evaluation
existential-type
gadt
Real world use of GADT
Feb 08, 2019
haskell
gadt
What does data ... where mean in Haskell?
Feb 26, 2022
haskell
syntax
gadt
« Newer Entries
Menu