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

New posts in gadt

Typeably casting GADTs

haskell existential-type gadt

Haskell type family applications are not evaluated

haskell gadt type-families data-kinds

How to resolve ambiguity in my GADTs

haskell types dsl gadt

Modular Arithmetic using Haskell Type-Families or GADTs?

haskell ghc modular gadt type-families

How do I code this dependently-typed example in Haskell?

haskell gadt dependent-type

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
« Newer Entries Older Entries »