1154 search results - page 116 / 231 » Implementing Typed Intermediate Languages |
ICFP
2001
ACM
15 years 10 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...
DEBS
2003
ACM
15 years 3 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
NLE
2008
14 years 10 months ago
2008
Words in Semitic texts often consist of a concatenation of word segments, each corresponding to a Part-of-Speech (POS) category. Semitic words may be ambiguous with regard to thei...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
PLILP
1994
Springer
15 years 2 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...