Write a Blog >>
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

PEPM 2020Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile