A logic for parametric polymorphism with effects

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	4941
Sider (fra-til)	142-156
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-540-68103-8
Status	Udgivet - 2008

Adgang til dokumentet

@inproceedings{5fba4290cfac4c4e8c4e99602234dbe0,

title = "A logic for parametric polymorphism with effects",

author = "M{\o}gelberg, \{Rasmus Ejlers\} and Alex Simpson",

year = "2008",

doi = "10.1007/978-3-540-68103-8",

language = "English",

volume = "4941",

pages = "142--156",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}