Skip to main content

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

David Hopkins‚ Andrzej S. Murawski and C.−H Luke Ong

Book Title
CAV
Year
2012