Extending a Generic Constraint Solver over Polymorphic Data

Reference:

Pauli Aho. Extending a generic constraint solver over polymorphic data. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.

Suggested BibTeX entry:

@mastersthesis{AhoMsc,
    author = {Pauli Aho},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Extending a Generic Constraint Solver over Polymorphic Data},
    year = {2005},
}