Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Guannan Wei

2025-03-06 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse