Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 163-183 |
Number of pages | 21 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 236 |
Publication status | Published - 2010 |
Strategies for Solving Constraints in Type and Effect Systems
J. Hage, B.J. Heeren
Research output: Contribution to journal › Article › Academic › peer-review