3713 search results - page 26 / 743 » Constructing a Calculus of Programs |
150
click to vote
APLAS
2007
ACM
15 years 10 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...
171
click to vote
SAC
2009
ACM
16 years 22 days 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...