Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at ESOP 2014

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!