Activities per year
- 2 results
Search results
-
Session Types and Higher-Order Concurrency
Perez Parra, J. (Invited speaker)
24-Feb-2021Activity: Talk and presentation › Academic presentation › Academic
-
Linearity, Control Effects, and Behavioral Types
Perez Parra, J. (Invited speaker)
12-Jan-2021Activity: Talk and presentation › Academic presentation › Academic