9th Workshop on Higher-Order Rewriting

Please consider contributing to the Workshop on Higher-Order Rewriting (HOR) 2018; submission deadline July 7, 2018.