Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,921,025 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Abstract data type
Algebraic data type
Array data structure
C++
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Contextual Sequence Modeling for Recommendation with Recurrent Neural Networks
E. Smirnova
,
Flavian Vasile
DLRS@RecSys
2017
Corpus ID: 5111407
Recommendations can greatly benefit from good representations of the user state at recommendation time. Recent approaches that…
Expand
Highly Cited
2011
Highly Cited
2011
XRF 100316D/SN 2010bh AND THE NATURE OF GAMMA-RAY BURST SUPERNOVAE
Z. Cano
,
D. Bersier
,
+21 authors
S. Woosley
2011
Corpus ID: 119213878
We present ground-based and Hubble Space Telescope optical and infrared observations of Swift XRF 100316D/SN 2010bh. It is seen…
Expand
Highly Cited
2008
Highly Cited
2008
The Organizational Construction of Authenticity: An Examination of Contemporary Food and Dining in the U.S.
Glenn R Carroll
,
Dennis Ray Wheaton
2008
Corpus ID: 145651495
Sociologists and other social scientists have long recognized that certain economic transactions involve more than a simple trade…
Expand
Highly Cited
2007
Highly Cited
2007
System F with type equality coercions
M. Sulzmann
,
M. Chakravarty
,
S. Jones
,
K. Donnelly
ACM SIGPLAN International Workshop on Types In…
2007
Corpus ID: 6381457
We introduce System FC, which extends System F with support for non-syntactic type equality. There are two main extensions: (i…
Expand
Highly Cited
2007
Highly Cited
2007
Acheulian Large Flake Industries: Technology, Chronology and Significance
G. Sharon
2007
Corpus ID: 53557960
The Acheulian culture, which persisted for over one and a half million years, is attested in diverse environments and over wide…
Expand
Highly Cited
2005
Highly Cited
2005
Associated type synonyms
M. Chakravarty
,
G. Keller
,
S. Jones
ACM SIGPLAN International Conference on…
2005
Corpus ID: 16406612
Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the…
Expand
2004
2004
Characterization of Pectolytic Erwinias as Highly Sophisticated Pathogens of plants
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…
Expand
Highly Cited
2003
Highly Cited
2003
A Concurrent Logical Framework: The Propositional Fragment
K. Watkins
,
I. Cervesato
,
F. Pfenning
,
D. Walker
Types for Proofs and Programs
2003
Corpus ID: 3923646
We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF extends the Linear Logical Framework to…
Expand
Review
2001
Review
2001
The Boost Graph Library - User Guide and Reference Manual
Jeremy G. Siek
,
Lie-Quan Lee
,
A. Lumsdaine
C++ in-depth series
2001
Corpus ID: 39373792
Foreword. Preface. I User Guide. 1. Introduction. Some Graph Terminology. Graph Concepts. Vertex and Edge Descriptors. Property…
Expand
Highly Cited
1987
Highly Cited
1987
Uncertainty, Policy Analysis and Statistics
J. Hodges
1987
Corpus ID: 58997893
Statistical activity can be divided for descriptive and analytical purposes into (a) discovery/imposition of structure, (b…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE