Skip to search formSkip to main contentSkip to account menu

Kind (type theory)

Known as: Higher kind, Higher-kinded type, Higher-kind 
In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
  • K. Locke
  • Agency and Communion in Social Psychology
  • 2018
  • Corpus ID: 49367424
People chart and navigate their social lives along two cardinal axes – agency and communion. The motives to approach communion (e… 
Highly Cited
2012
Highly Cited
2012
We examine cooperative behavior when large sums of money are at stake, using data from the television game show Golden Balls. At… 
Highly Cited
2011
Highly Cited
2011
Author(s): Kern, ML; Friedman, HS | Abstract: Some individuals are prone to illness, decline, and premature mortality while… 
Highly Cited
2009
Highly Cited
2009
Abstract We have built the first family of tagless interpretations for a higher-order typed object language in a typed… 
2004
2004
:  A priori conceptual analysis is once again part of the philosophical mainstream. Unlike their verificationist predecessors… 
Highly Cited
2004
Highly Cited
2004
Highly Cited
1994
Highly Cited
1994
The design of a module system for constructing and maintaining large programs is a difficult task that raises a number of… 
Highly Cited
1992
Highly Cited
1992
We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial… 
Highly Cited
1974
Highly Cited
1974
a space (place, locality) n quantity (many, dimension) A time 0 life b together 0 feeling (emotion, sensation) c being p before d…