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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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
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
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
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
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
This paper is concerned with a delay differential equation model for the interaction between two species, the adult members of… Expand
Is this relevant?
1989
1989
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
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
  • Nature
  • 1943
WITH admirable promptitude in these difficult times, the fifty-second annual phonological report of the Royal Meteorological… Expand
Is this relevant?