A logic for parametric polymorphism with effects

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume4941
Pages (from-to)142-156
ISSN0302-9743
DOIs
Publication statusPublished - 2008

Cite this