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

New posts in gadt

Converting an untyped AST for a simple typed language into a GADT

haskell gadt

Performance implications of using GADTs

performance haskell gadt

Proving a type inequality to GHC

haskell dependent-type gadt type-families singleton-type

Clarification on Existential Types in Haskell

haskell gadt existential-type

Transform a GADT without constraints to another GADT with constraints when such constraints hold

haskell dsl gadt

Haskell: Heterogeneous list for data with phantom variable

haskell gadt existential-type phantom-types

The pattern with functions like `bool`, `either`, etc

haskell pattern-matching gadt

Simple lambda calculus DSL using GADTs in OCaml

ocaml dsl lambda-calculus gadt

Static Guarantee on Key/Value Relationships in Data.Map

haskell compile-time functional-dependencies type-constraints gadt

How to make catamorphisms work with parameterized/indexed types?

haskell algebra type-systems gadt catamorphism

does this GADT actually have type role representational

haskell gadt

Type-safe Flow (State Machine)

haskell gadt

Can I make haskell GADT data constructor infix in derived Show?

haskell gadt deriving infix-operator

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

haskell lambda-calculus algebraic-data-types gadt data-kinds

Write GADT record with constrained type

haskell record type-constraints 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
« Newer Entries Older Entries »