A meta-logic for functional programming (1989)

by J Hannan, D Miller
Venue:Proceedings of the META88 Workshop