Imperative functional specialization. Berichte des Wilhelm-Schickard-Instituts WSI-96-28, Universitat Tubingen (1996)

by Dirk Dussart, Peter Thiemann