Pattern Matches in HOL: - A New Representation and Improved Code Generation.

Thomas Tuerk, Magnus O. Myreen, Ramana Kumar

Browse the full ITP paper archive.