ITU

A logic for parametric polymorphism with effects

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

View graph of relations

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

ID: 31647059