Accepted ITC Conference Grants
1st call (1 March 2023)
-
System F mu omega with Context-free Session Types
Grantee: Diogo Poças (LASIGE, Lisbo, Portugal)
Conference: 32nd European joint conferences on theory and practice of software (ETAPS), Paris, France
Grant: 1876 EUR
Dates: 2023-04-23 to 2023-04-27