Yorgo Chamoun

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Interval Analysis

Internal States

Top Venues

Proc. ACM Program. Lang.

Publications

Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
Internal Parametricity, without an Interval. Proc. ACM Program. Lang. 8 (POPL) (2024)
Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
Internal parametricity, without an interval. CoRR (2023)