Authors: Claudio Sacerdoti Coen, Stefano Zacchiroli
Title: Efficient Type Based Parsing in Strict Languages
Abstract: 
We present an efficient technique for parsing ambiguous
mathematical formulae. Our technique can be applied when the output of
parsing and semantic analysis is a calculus that can be extended with
metavariables and exploits the refinement function. We compare the
efficiency of an implementation based on the Calculus of (co)Inductive
Constructions with the state of the art.