3689 search results - page 26 / 738 » A Language with Distributed Scope |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
ECOOPWEXCEPTION
2000
Springer
14 years 1 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
POPL
2001
ACM
14 years 10 months ago
2001
ACM
ESOP
2004
Springer
14 years 3 months ago
2004
Springer