X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Report.bib;h=a2e5417f69731a40fb65a71e36776385d8b19678;hp=7e9dd00309622b8d1371af3d82bde81cb8a465e1;hb=124f838008d9e63d36d6626ebeb453d9f83129dc;hpb=35591e39c83f658310c07ad580d19b2a53910a72 diff --git a/Report.bib b/Report.bib index 7e9dd00..a2e5417 100644 --- a/Report.bib +++ b/Report.bib @@ -31,3 +31,53 @@ month = {Sep}, abstract = {Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-called deep DSLs to be compiled and processed. In this paper, we describe and explore uses of an IO function for reification which allows direct observation of sharing.} } + +@inproceedings{li89, + author = {Li, W. and Switzer, H.}, + title = {A unified data exchnage environment based on EDIF}, + booktitle = {DAC '89: Proceedings of the 26th ACM/IEEE Design Automation Conference}, + year = {1989}, + isbn = {0-89791-310-8}, + pages = {803--806}, + location = {Las Vegas, Nevada, United States}, + doi = {http://doi.acm.org/10.1145/74382.74534}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@inproceedings{jones96, + author = {Simon L Peyton Jones}, + booktitle = {Programming Languages and Systems — ESOP '96}, + title = {Compiling Haskell by program transformation: A report from the trenches}, + pages = {18--44}, + year = {1996}, + doi = {10.1007/3-540-61055-3_27}, + url = {http://www.springerlink.com/content/yjnv70x758167327}, + isbn = {978-3-540-61055-7}, + publisher={Springer}, + location={Berlin / Heidelberg}, +} + +@article{hughes98, + author = {John Hughes}, + title = {Generalising Monads to Arrows}, + journal = {Science of Computer Programming}, + year = {1998}, + volume = {37}, + pages = {67--111}, +} + +@inproceedings{paterson01, + author = {Paterson, Ross}, + title = {A new notation for arrows}, + booktitle = {ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming}, + year = {2001}, + isbn = {1-58113-415-0}, + pages = {229--240}, + location = {Florence, Italy}, + doi = {http://doi.acm.org/10.1145/507635.507664}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +% vim: set paste: