3001 search results - page 15 / 601 » Recursive type generativity |
TOPLAS
1998
15 years 1 months ago
1998
105
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
100
click to vote
CORR
2008
Springer
15 years 13 days ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
125
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
108
Voted
ICA3PP
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose a new universal network, called recursive dual-net (RDN), as a potential candidate for the interconnection network of supercomputers with very large scal...