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 2013

BETTY Papers at ESOP 2013

Two papers on BETTY topics will be presented at ESOP 2013:

  • Luis Caires, Jorge A. PĂ©rez, Frank Pfenning and Bernardo Toninho:
    Behavioral Polymorphism and Parametricity in Session-Based Communication
  • Bernardo Toninho, Luis Caires and Frank Pfenning:
    Higher-Order Processes, Functions, and Sessions: A Monadic Integration

Congratulations to the authors!