5415 search results - page 296 / 1083 » The Implementation of Functional Programming Languages |
131
click to vote
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
113
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
JSW
2006
15 years 1 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
140
click to vote
BTW
1997
Springer
15 years 5 months ago
1997
Springer
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
116
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...