Title: Higher-order types for grammar engineering
First published: 2005