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

by D Miller
Venue:In Proceedings of the Logical Frameworks BRA Workshop