Yicho - a system for programming program calculations (2002)

by T Yokoyama, Z Hu, M Takeichi
Venue:In The 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002