Author:
Baars Arthur,Doaitse Swierstra S.,Viera Marcos
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. Typed transformations of typed abstract syntax;Baars,2009
2. Type-safe, self-inspecting code;Baars,2004
3. Chiyan Chen and Hongwei Xi. Implementing typeful program transformations. In PEPM'03, 2003.
4. Type-safe code transformations in haskell;Guillemette;Electron. Notes Theor. Comput. Sci.,2007
5. Generalising monads to arrows;Hughes;Science of Computer Programming,2000
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A new view on parser combinators;Proceedings of the 31st Symposium on Implementation and Application of Functional Languages;2019-09-25
2. Embedding invertible languages with binders: a case of the FliPpr language;ACM SIGPLAN Notices;2018-12-07
3. Embedding invertible languages with binders: a case of the FliPpr language;Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell;2018-09-17
4. On the semantics of parsing actions;Science of Computer Programming;2014-05
5. Implementing an embedded compiler using program transformation rules;Software: Practice and Experience;2013-09-06