A type-preserving closure conversion in haskell Export

@inproceedings{citeulike:3821542, abstract = {The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify bugs in the compiler that would otherwise be much harder to find. Also it guarantees that any property that was enforced by the source-level type-system is holds also or the generated code. Recently, several people have tried to push this effort a bit further by verifying formally that the compiler indeed preserves typing. This is usually done with proof assistants or experimental languages.}, address = {New York, NY, USA}, author = {Guillemette, Louis J. and Monnier, Stefan}, booktitle = {Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop}, citeulike-article-id = {3821542}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1291212}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1291201.1291212}, doi = {10.1145/1291201.1291212}, isbn = {978-1-59593-674-5}, keywords = {haskell, hoas}, location = {Freiburg, Germany}, pages = {83--92}, posted-at = {2008-12-23 06:29:53}, priority = {2}, publisher = {ACM}, title = {A type-preserving closure conversion in haskell}, url = {http://dx.doi.org/10.1145/1291201.1291212}, year = {2007} }

TY - CONF ID - citeulike:3821542 L3 - citeulike-article-id:3821542 N2 - The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify bugs in the compiler that would otherwise be much harder to find. Also it guarantees that any property that was enforced by the source-level type-system is holds also or the generated code. Recently, several people have tried to push this effort a bit further by verifying formally that the compiler indeed preserves typing. This is usually done with proof assistants or experimental languages. CY - Freiburg, Germany SN - 978-1-59593-674-5 AD - New York, NY, USA EP - 92 TI - A type-preserving closure conversion in haskell PB - ACM T2 - Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop SP - 83 KW - haskell KW - hoas AU - Guillemette, Louis AU - Monnier, Stefan PY - 2007/// UR - http://dx.doi.org/10.1145/1291201.1291212 ER -