1264 search results - page 4 / 253 » Towards Theory Translation |
POPL
1997
ACM
13 years 10 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
JELIA
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
INFSOF
2008
13 years 6 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
DLT
2001
13 years 7 months ago
2001
JMLR
2010
13 years 1 months ago
2010
