BETTY Papers at ESOP 2014
Three papers on BETTY topics will be presented at ESOP2014:
- Boris Düdder, Moritz Martens and Jakob Rehof. Staged Composition Synthesis.
- Laura Bocchi, Hernán Melgratti and Emilio Tuosto. Resolving Non-determinism in Choreographies.
- Peter Thiemann and Luminous Fennell. Gradual Typing for Annotated Type Systems.
Congratulations to the authors!