Embedding invertible languages with binders: a case of the FliPpr language
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 158-171
- https://doi.org/10.1145/3299711.3242758
Abstract
No abstract availableKeywords
Funding Information
- Royal Society (IES\R3\170104)
- Japan Society for the Promotion of Science (15K15966, 15H02681)
This publication has 13 references indexed in Scilit:
- Purely functional lazy nondeterministic programmingJournal of Functional Programming, 2011
- Reversible Computation and Reversible Programming LanguagesElectronic Notes in Theoretical Computer Science, 2010
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJournal of Functional Programming, 2009
- Applicative programming with effectsJournal of Functional Programming, 2007
- Combinators for bidirectional tree transformationsACM Transactions on Programming Languages and Systems, 2007
- Revisiting an automatic program inverter for LispACM SIGPLAN Notices, 2005
- Generalising monads to arrowsScience of Computer Programming, 2000
- Type inference with polymorphic recursionACM Transactions on Programming Languages and Systems, 1993
- Higher-order functions for parsingJournal of Functional Programming, 1992
- Deforestation: transforming programs to eliminate treesTheoretical Computer Science, 1990