3844 search results - page 420 / 769 » Modular interpreted systems |
160
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
164
click to vote
SIGLEX
1991
15 years 9 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
149
click to vote
DELFI
2003
15 years 7 months ago
2003
: Bei den im Web angebotenen Java-Tutorials handelt es sich meist um mehr oder weniger gut aufbereitete Vorlesungsskripte oder Textb¨ucher, die sich in Bezug auf Interaktivit¨at ...
153
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
160
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...