Bidirectional #### and (1994)

by John T O'Donnell
Venue:In Functional Programming: Glasgow 1993,Workshops in Computing