Original language | English |
---|---|
Place of Publication | Clayton Vic Australia |
Publisher | Monash University |
Number of pages | 20 |
Publication status | Published - 1999 |
Type Constraint Solving for Parametric and Ad-hoc Polymorphism
Bart Demoen, Maria Jose Garcia De La Banda, Peter J Stuckey
Research output: Book/Report › Book › Other