Mario Bravetti

Joint Papers

• Behavioral Types in Programming Languages
• Fault Model Design Space for Cooperative Concurrency