Relating Accumulative and Non-Accumulative Functional Programs (2001)

by Armin Kühnemann , Robert Glück , Kazuhiko Kakehi
Venue:In Rewriting Techniques and Applications, Proceedings, volume 2051 of LNCS
Citations:13 - 6 self