conf.researchr.org / Jacques Carette
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

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
NPFL 2018 Committee Member in Program Committee within the NPFL 2018-track
ICFP 2019 Author of From high-level inference algorithms to efficient code within the Research Papers-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