743 search results - page 11 / 149 » A Calculus of Gamma Programs |
POPL
1990
ACM
15 years 1 months ago
1990
ACM
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
87
Voted
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
FUIN
2010
14 years 8 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...