• Sign in
  • Sign up
conf.researchr.org / Jacques Carette
  • EVCS profile
  • ICFP 2016 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • PEPM 2015 profile
  • POPL 2016 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • SPLASH 2019 profile
Jacques Carette

Registered user since Thu 10 Jul 2014

Name:Jacques Carette
Country:Canada
Affiliation:McMaster University
Personal website:http://www.cas.mcmaster.ca/~carette
Research interests:Mechanized Mathematics, metaprogramming, symbolic computation, machine learning, game design

Contributions

EVCS Author of Generating Software for Well-Understood Domains within the Eelco Visser Commemorative Symposium-track
Author of Eelco Visser as a Founding Member of the IFIP WG 2.11 within the Eelco Visser Commemorative Symposium-track
PEPM 2023 Author of Symbolic Execution of Hadamard-Toffoli Quantum Circuits within the PEPM 2023-track
CPP 2021 Author of Formalizing Category Theory in Agda within the CPP 2021-track
PEPM 2020 Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track
GPCE 2019 Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track
ICFP 2019 Author of From high-level inference algorithms to efficient code within the Research Papers-track
NPFL 2018 Committee Member in Program Committee within the NPFL 2018-track
HIW 2016 Author of Trees That Grow within the HIW-track
ML 2016 Committee Member in Program Committee within the ML-track
PADL Author of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track
PEPM 2016 Session Chair of Staging (part of PEPM)
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track

Share
xWed 29 Mar 20:39
using conf.researchr.org (v1.60.0)
Support page
Sign Up