On the Implementation of Construction Functions for Non-free Concrete Data Types.

Frdric Blanqui, Thrse Hardin, Pierre Weis

Browse the full ESOP paper archive.