Inductive type

Known as: W type, W-type 
In type theory, a system has inductive types if it has facilities for creating a new type along with constants and functions that create terms of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1941-2018
010203019412017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We propose general rules for higher inductive types with non-dependent and dependent elimination rules. These can be used to give… (More)
Is this relevant?
2015
2015
Homotopy Type Theory is a new field of mathematics based on the recently-discovered correspondence between Martin-Löf's… (More)
  • figure 3.1
Is this relevant?
2012
2012
Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results… (More)
Is this relevant?
2006
2006
Parametric inductive types can be seen as functions taking type parameters as argument and returning the instantiated inductive… (More)
Is this relevant?
2002
2002
In a previous work (“Abstract Data Type Systems”, TCS 173(2), 1997), the last two authors presented a combined language made of a… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We present a large and we think also significant case-study in computer assisted formal reasoning. We start by giving a higher… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We propose a linear type system with recursion operators for inductive datatypes which ensures that all definable functions are… (More)
Is this relevant?
1997
1997
Over 90% of the germ tubes of Puccinia graminis tritici (wheat stem rust) and Puccinia hordei (barley brown rust) differentiate… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a strikingly simple partial evaluator, that is type-directed and reifies a compiled program into the text of a… (More)
  • figure 3
  • figure 6
  • figure 10
Is this relevant?
Highly Cited
1994
Highly Cited
1994
1 I n t r o d u c t i o n Several theorem provers provide commands for formalizing recursive data structures, like lists and… (More)
Is this relevant?