Cited By
View all- Valiron B(2016)Generating Reversible Circuits from Higher-Order Functional ProgramsReversible Computation10.1007/978-3-319-40578-0_21(289-306)Online publication date: 30-Jun-2016
- PARK SIM H(2010)A calculus for hardware descriptionJournal of Functional Programming10.1017/S095679681000024921:01(21-58)Online publication date: 19-Nov-2010