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)

Related topics

Related topics

25 relations
Computer scienceCurryingDependent typeElm

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Agentic and Communal Social Motives
  • 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
Split or Steal? Cooperative Behavior When the Stakes Are Large
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
A framework for teachers' integration of ICT into their classroom practice
Highly Cited
2011
Highly Cited
2011
Personality and Pathways of Influence on Physical Health
Author(s): Kern, ML; Friedman, HS | Abstract: Some individuals are prone to illness, decline, and premature mortality while… 
Highly Cited
2009
Highly Cited
2009
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Abstract We have built the first family of tagless interpretations for a higher-order typed object language in a typed… 
2004
2004
The Limits of Conceptual Analysis
:  A priori conceptual analysis is once again part of the philosophical mainstream. Unlike their verificationist predecessors… 
Highly Cited
2004
Highly Cited
2004
Type-indexed data types
Highly Cited
1994
Highly Cited
1994
A type-theoretic approach to higher-order modules with sharing
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
PER models of subtyping, recursive types and higher-order polymorphism
We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial… 
Highly Cited
1974
Highly Cited
1974
The language of space
a space (place, locality) n quantity (many, dimension) A time 0 life b together 0 feeling (emotion, sensation) c being p before d… 
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)