3713 search results - page 26 / 743 » Constructing a Calculus of Programs |
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
IWFM
2000
15 years 4 months ago
2000
119
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
125
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...