• Sign in
  • Sign up
conf.researchr.org / Nicolas Chappe
  • POPL 2023 profile
  • ‹Programming› 2022 profile

Not registered as user yet

Name:Nicolas Chappe

Contributions

POPL 2023 Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
‹Programming› 2022 Author of An Optimised Flow for Futures: From Theory to Practice within the Research Papers-track

Share
xTue 6 Jun 07:37
using conf.researchr.org (v1.60.0)
Support page
Sign Up