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!