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

Related topics

Related topics

22 relations
Abstract data typeAlgebraic data typeArray data structureC++
(More)

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Injective type families for Haskell
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
Closed type families with overlapping equations
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
Promoting functions to type families in Haskell
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
Shifts in Global Vegetation Activity Trends
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
OutsideIn(X) Modular type inference with local assumptions
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
Type checking with open type functions
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
One Vote for Type Families in Haskell!
Generalized Algebraic DataTypes (GADTs) allow programmers to capture important invariants of their data structures through type… (More)
Is this relevant?
2006
2006
Null values in fuzzy databases
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
Semantic type qualifiers
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
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
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?