Design and implementation of a generic, logic and functional programming language (1986)

by D Bert, R Echahed
Venue:In ESOP-86