3001 search results - page 21 / 601 » Recursive type generativity |
99
Voted
FCT
2009
Springer
15 years 8 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
108
Voted
HOA
1993
15 years 6 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
DAGSTUHL
2001
15 years 3 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
52
Voted
ACTAC
2005
15 years 1 months ago
2005
Propagating scattered context grammars are used to generate their sentences together with their parses--that is, the sequences of labels denoting productions whose use lead to the ...
93
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...