Login / Signup

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

Frédéric BlanquiThérèse HardinPierre Weis
Published in: ESOP (2007)
Keyphrases