Not registered as user yet

Name:Ikram Cherigui
Affiliation:ENS Paris

Contributions

POPL 2017 Author of A Semantic Account of Metric Preservation within the POPL-track