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: