• Sign in
  • Sign up
conf.researchr.org / John Leo
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2018 profile
John Leo

Registered user since Fri 1 Dec 2017

Name:John Leo
Country:United States
Affiliation:Halfaya Research
Personal website:http://halfaya.org/leo/
Research interests:Type Theory, Music

Contributions

FARM 2022 Author of Demo: Counterpoint Analysis and Synthesis within the FARM-track
General Chair in Organizing Committee within the FARM-track
ICFP 2022 United States of America in Evaluators within the Artifact Evaluation-track
PLDI 2022 Author of (PLDI 2021) Proof Repair Across Type Equivalences within the SIGPLAN Track-track
FARM 2021 Author of Performance: Logical Soundness within the FARM 2021-track
PLDI 2021 Author of Proof Repair across Type Equivalences within the PLDI-track
FARM 2019 Author of Demo: Counterpoint by Construction within the FARM 2019-track
CPP 2018 Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track

Share
xFri 3 Feb 13:34
using conf.researchr.org (v1.58.0)
Support page
Sign Up