Jacques Carette
Jacques Carette
Affiliation: McMaster University
Pages in this Program
Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑