Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 527-536 |
Number of pages | 10 |
Journal | Journal of Functional Programming |
Volume | 8 |
Issue number | 5 |
Publication status | Published - 1998 |
Functional Pearl: Polytypic unification
P. Jansson, J.T. Jeuring
Research output: Contribution to journal › Article › Academic › peer-review