From checking to inference via driving and dag grammars.

Jens P. Secher, Morten Heine Srensen

Browse the full PEPM paper archive.