Adam Donadille
Adam Donadille
Affiliation: ENS de Lyon
Pages in this Program
A Complete Finitary Refinement Type System for Scott-Open Properties
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑