3713 search results - page 26 / 743 » Constructing a Calculus of Programs |
TYPES
1998
Springer
13 years 11 months ago
1998
Springer
ITP
2010
13 years 11 months ago
2010
IWFM
2000
13 years 8 months ago
2000
APLAS
2007
ACM
13 years 11 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...
SAC
2009
ACM
14 years 2 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...