Alex Rivera | Logout

Questions tagged gadt

5 questions

Sort by: Newest Votes Active
12
votes
2
answers

How to make catamorphisms work with parameterized/indexed types?

haskell algebra type-systems gadt catamorphism
asked 2013-07-06T12:48:37.760
8
votes
2
answers

What's the closest thing to Haskell GADTs and typeclasses in F#?

f# typeclass gadt
asked 2012-11-09T15:29:38.130
9
votes
1
answers

Performance implications of using GADTs

performance haskell gadt
asked 2011-03-24T22:50:51.543
9
votes
1
answers

Runtime comparison of types for lifting polymorphic data structures into GADTs

haskell gadt
asked 2010-10-30T22:51:56.497
16
votes
2
answers

Fundeps and GADTs: When is type checking decidable?

haskell type-inference type-systems gadt
asked 2008-09-07T23:46:50.963