This page shows all presentations of this author published in EasyChair Smart Slide.
Efficiency of a good but not linear nominal unification algorithm
Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman