New equations for neutral terms: a sound and complete decision procedure, formalized.

Guillaume Allais, Conor McBride, Pierre Boutillier

Browse the full ICFP paper archive.