Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Recommendations can greatly benefit from good representations of the user state at recommendation time. Recent approaches that… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present ground-based and Hubble Space Telescope optical and infrared observations of Swift XRF 100316D/SN 2010bh. It is seen… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
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… Expand
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Sociologists and other social scientists have long recognized that certain economic transactions involve more than a simple trade… Expand
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The Acheulian culture, which persisted for over one and a half million years, is attested in diverse environments and over wide… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We introduce System FC, which extends System F with support for non-syntactic type equality. There are two main extensions: (i… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF extends the Linear Logical Framework to… Expand
  • figure 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract We report on a search for N = 2 heterotic strings that are dual candidates of type II compactifications on Calabi-Yau… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Statistical activity can be divided for descriptive and analytical purposes into (a) discovery/imposition of structure, (b… Expand
Is this relevant?