Verifying Higher-Order Functions with Tree Automata.

Thomas Genet, Timothe Haudebourg, Thomas P. Jensen

Browse the full FOSSACS paper archive.