Towards Manipulation of Mutually Recursive Functions.
Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
VenueNationalFLOPS
Year1998
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/IwasakiHT98 ↗
Browse the full FLOPS paper archive.