A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi.

Gilles Dowek

Browse the full MFCS paper archive.