1686 search results - page 65 / 338 » Higher Order Deforestation |
88
Voted
POPL
1991
ACM
15 years 3 months ago
1991
ACM
DLOG
2008
15 years 2 months ago
2008
DLS
2005
15 years 1 months ago
2005
122
click to vote
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
119
click to vote
CSL
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...