596 search results - page 71 / 120 » Subtyping Recursive Types |
121
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
122
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
100
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
ALT
2002
Springer
15 years 10 months ago
2002
Springer
The central topic of the paper is the learnability of the recursively enumerable subspaces of V∞/V , where V∞ is the standard recursive vector space over the rationals with (c...