Moca Papers
2007, F. Blanqui, T. Hardin, P. Weis,
On the implementation of construction functions for non-free concrete data types
,
Paper presented at the European Symposium on Programming (ESOP 2007).
The DVI version
,
the PS version
,
the PDF version
.
Last modification date:
Thursday, April 26, 2007.
Copyright
© 2005 - 2007 INRIA, all rights reserved.