Inf 'erence de types et d'implantations pour les expressions ensemblistes (1991)

by V Donzeau-Gouge, C Dubois, P Facon
Venue:In JFLA'91