An extension to ML to handle bound variables in data structures (1990)

by Dale Miller
Venue:Pages 323–335 of: Proceedings of the