Remy Seassau - ICFP 2025

Sun 12 - Sat 18 October 2025 Singapore

co-located with ICFP/SPLASH 2025

Registered user since Thu 8 Aug 2024

Name:Remy Seassau

Country:France

Affiliation:Inria

Personal website: https://remyjck.github.io/

Research interests:Programming Languages, Formal Verification

Contributions

2025

ICFP

Formal Semantics and Program Logics for a Fragment of OCaml

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile