Roberto Di Cosmo and Neil Ghani.
Combining algebraic rewriting with higher order extensional lambda
In Pierpaolo Degano, Roberto Gorrieri, and Alberto
Marchetti-Spaccamela, editors, Intern. Conf. on Automata, Languages and
Programming (ICALP)24, number 1256 in Lecture Notes in Computer Science,
pages 237--247, 1997.
[ bib |
Local copy ]
This file was generated by