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

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

Related topics

Related topics

25 relations
Computer scienceCurryingDependent typeElm
Expand

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Reflections on LMS: exploring front-end alternatives
Metaprogramming techniques to generate code at runtime in a general-purpose meta-language have seen a surge of interest in recent… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
DSMDiff: a differentiation tool for domain-specific models
Model differentiation techniques, which provide the capability to identify mappings and differences between models, are essential… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
The mnemic neglect model: Experimental demonstrations of inhibitory repression in normal adults
Normal adults recall poorly social feedback that refers to them, is negative, and pertains to core self-aspects. This phenomenon… Expand
Is this relevant?
2004
2004
Higher-order modules in System F ω and
To argue that it is practical to extend core Haskell to support higher-order modules, we translate Dreyer, Crary, and Harper’s… Expand
  • table 1
  • figure 1
  • table 2
  • figure 3
Is this relevant?
2003
2003
Stability and Traveling Fronts in Lotka-Volterra Competition Models with Stage Structure
This paper is concerned with a delay differential equation model for the interaction between two species, the adult members of… Expand
Is this relevant?
Review
1990
Review
1990
Book review: Liu Binyan: a higher kind of loyalty, and Liu Bunyan, Ruan Ming and Xu Gang, "tell the world"
 
Is this relevant?
1989
1989
READER AND AUDIENCE IN COLERIDGE'S BIOGRAPHIA LITERARIA
The thesis concerns the question of Coleridge's readership as it pertains to Coleridge's prose and specifically to Biographia… Expand
Is this relevant?
1981
1981
Freedom as a Dialectical Expression of Rationality
The concept of what we may noncommittally call forward movement has an all-pervasive significance in Hegel's philosophy. Hegelian… Expand
Is this relevant?
1943
1943
Phenology of 1942
  • Nature
  • 1943
WITH admirable promptitude in these difficult times, the fifty-second annual phonological report of the Royal Meteorological… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE