Strategies for Solving Constraints in Type and Effect Systems

Research output: Contribution to journal › Article › Academic › peer-review

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

Cite this

@article{18437d94a7b94eeba75f303c9fa433fb,

title = "Strategies for Solving Constraints in Type and Effect Systems",

author = "J. Hage and B.J. Heeren",

year = "2010",

language = "Undefined/Unknown",

volume = "236",

pages = "163--183",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier BV",

}