Browsing by Type Conference Proceedings
Showing results 1 to 2 of 2
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Basold, Henning; Cockx, Jesper; Ghilezan, Silvia | 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) - Proceedings | 2022 | M36 | |
| Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming | 2021 | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 | M36 |