• Sign in
  • Sign up
conf.researchr.org / Gabriel Kammer
  • POPL 2023 profile
No Photo

Not registered as user

Name:Gabriel Kammer
Affiliation:MIT

Contributions

2023

CoqPL

  • Author of Pyrosome: A Framework for Modular, Extensible, Equivalence-Preserving Compilation within the CoqPL 2023-track
Share
xFri 23 May 18:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up