Articles sur Moca
2007, F. Blanqui, T. Hardin, P. Weis,
On the implementation of construction functions for non-free concrete data types
, Article présenté à
European Symposium on Programming (ESOP 2007)
.
La version DVI
,
la version PS
,
la version PDF
.
Dernière modification le
Thursday, April 26, 2007.
Copyright
© 2005 - 2007 INRIA, tous droits réservés.