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
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