2736 search results - page 11 / 548 » Understanding programmer language |
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
81
Voted
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
76
Voted
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
DAGSTUHL
2001
14 years 11 months ago
2001
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...