Higher order babel: Language and implementation (1996)

by Herbert Kuchen, Josef Anastasiadis
Venue:In Extensions of Logic Programming,volume 1050 of LNCS