and Gopalan Nadathur. Higher-order logic programming (1986)

by Dale Miller
Venue:Proceedings of the Third International Logic Programming Conference