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.
Highly Cited
2011
Highly Cited
2011
When attempting to integrate any Information and Communications Technology (ICT) based resource into Post-Primary Schools (High… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2011
Highly Cited
2011
Author(s): Kern, ML; Friedman, HS | Abstract: Some individuals are prone to illness, decline, and premature mortality while… Expand
Highly Cited
2009
Highly Cited
2009
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage… Expand
  • figure 1
2008
2008
There are increasing efforts to provide integrated access to archive, library and museum information. When it comes to creating… Expand
  • figure 1
  • figure 2
2004
2004
:  A priori conceptual analysis is once again part of the philosophical mainstream. Unlike their verificationist predecessors… Expand
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
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… Expand
  • figure 2
  • figure 3
  • figure 5
Highly Cited
1992
Highly Cited
1992
We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial… Expand
  • figure 1
1975
1975
In their book An Illustrated Glossary of Film Terms. Harry M. Geduld and Ronald Gottesman define "genre" as a "category, kind, or… Expand
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… Expand