Strategies for Solving Constraints in Type and Effect Systems

J. Hage, B.J. Heeren

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)163-183
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Volume236
Publication statusPublished - 2010

Cite this