3713 search results - page 26 / 743 » Constructing a Calculus of Programs |
TYPES
1998
Springer
15 years 1 months ago
1998
Springer
ITP
2010
15 years 1 months ago
2010
66
Voted
IWFM
2000
14 years 11 months ago
2000
77
Voted
APLAS
2007
ACM
15 years 1 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
15 years 4 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...