%0 Conference Paper %1 conf/icfp/Danielsson12 %A Danielsson, Nils Anders %B ICFP %D 2012 %E Thiemann, Peter %E Findler, Robby Bruce %I ACM %K dblp %P 127-138 %T Operational semantics using the partiality monad. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#Danielsson12 %@ 978-1-4503-1054-3

@inproceedings{conf/icfp/Danielsson12, added-at = {2021-06-24T00:00:00.000+0200}, author = {Danielsson, Nils Anders}, biburl = {https://www.bibsonomy.org/bibtex/2a5c5b2a6c7f56775fb45f1f53760fda6/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2012}, editor = {Thiemann, Peter and Findler, Robby Bruce}, ee = {https://doi.org/10.1145/2398856.2364546}, interhash = {c94aab26041e414f716e288fc52c7d27}, intrahash = {a5c5b2a6c7f56775fb45f1f53760fda6}, isbn = {978-1-4503-1054-3}, keywords = {dblp}, pages = {127-138}, publisher = {ACM}, timestamp = {2024-04-09T17:31:21.000+0200}, title = {Operational semantics using the partiality monad.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#Danielsson12}, year = 2012 }