Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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… 
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… 
Highly Cited
2008
Highly Cited
2008
Sociologists and other social scientists have long recognized that certain economic transactions involve more than a simple trade… 
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… 
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… 
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… 
2004
2004
  • S. H. Boer
  • European journal of plant pathology
  • 2004
  • Corpus ID: 36437153
Erwinia carotovora and Erwinia chrysanthemi are the two most important soft rotting bacteria of commercially-grown plants. They… 
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… 
Review
2001
Review
2001
Foreword. Preface. I User Guide. 1. Introduction. Some Graph Terminology. Graph Concepts. Vertex and Edge Descriptors. Property… 
Highly Cited
1987
Highly Cited
1987
Statistical activity can be divided for descriptive and analytical purposes into (a) discovery/imposition of structure, (b…