Hector: An Equivalence Checker for a Higher-Order Fragment of ML.

David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong

Browse the full CAV paper archive.