The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer, Georg Neis, Lars Birkedal

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

Originalsprog	Engelsk
Tidsskrift	Journal of Functional Programming
Vol/bind	22
Udgave nummer	4-5
ISSN	0956-7968
Status	Udgivet - 2012

Citationsformater

@article{1a49105f91fc4903939a9a78702f0419,

title = "The impact of higher-order state and control effects on local relational reasoning",

author = "Derek Dreyer and Georg Neis and Lars Birkedal",

year = "2012",

language = "English",

volume = "22",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

number = "4-5",

}