Type family

Known as: Associated type, Associated types, Type families 
In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Haskell, as implemented by the Glasgow Haskell Compiler (GHC), allows expressive type-level programming. The most popular type… (More)
  • table 1
Is this relevant?
2014
2014
Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types… (More)
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
2014
2014
Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 9
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Vegetation belongs to the components of the Earth surface, which are most extensively studied using historic and present… (More)
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Advanced type system features, such as GADTs, type classes, and type families have proven to be invaluable language extensions… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs… (More)
  • figure 1
Is this relevant?
2008
2008
Generalized Algebraic DataTypes (GADTs) allow programmers to capture important invariants of their data structures through type… (More)
Is this relevant?
2006
2006
Since in the real world, it often occurs that information is missing, database systems clearly need some facilities to deal with… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a new approach for supporting user-defined type refinements, which augment existing types to specify and check… (More)
  • figure 1
  • figure 3
  • figure 8
  • table 2
  • table 1
Is this relevant?
2003
2003
We present a new type system and associated type checker, analysis, and model extraction algorithms for automatically extracting… (More)
  • figure 2
  • figure 4
  • figure 3
  • figure 5
  • figure 6
Is this relevant?