• Sign in
  • Sign up
conf.researchr.org / Daniel Zackon
  • PLDI 2025 profile
  • POPL 2025 profile
  • POPL 2026 profile

Registered user since Mon 17 Jan 2022

Name:Daniel Zackon
Country:Canada
Affiliation:McGill University
Personal website: https://www.cs.mcgill.ca/~dzacko1/
GitHub: https://github.com/dzackon

Contributions

2026

RocqPL

  • Author of Rocq CARVe-ing: A Library for Substructural Meta-Theory within the Rocq for Programming Languages 2026-track

2025

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

CPP

  • Author of Split Decisions: Explicit Contexts for Substructural Languages within the CPP 2025-track
Share
xFri 17 Apr 15:06
using conf.researchr.org (v1.73.2)
Support page
Sign Up