253 search results - page 12 / 51 » Session Types at the Mirror |
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
METRICS
1997
IEEE
13 years 11 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
COLT
2010
Springer
13 years 5 months ago
2010
Springer
We study the regret of an online learner playing a multi-round game in a Banach space B against an adversary that plays a convex function at each round. We characterize the minima...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
ML
2006
ACM
14 years 1 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...