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
ICFP 2024-profile
View general profile
View general profile