Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages.

Reed Mullanix, Jacques Carette

Browse the full ITP paper archive.