First-class schedules and virtual maps (1995)

by R Mirani, P Hudak
Venue:In Proceedings of FPCA