3713 search results - page 133 / 743 » Constructing a Calculus of Programs |
164
click to vote
FPLE
1995
15 years 6 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
121
click to vote
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
116
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
132
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
112
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...