Evaluation paresseuse des filtrages avec priorite. Application au Langage ML (1988)

by A Laville