Cited By
View all- van den Berg BSchrijvers TMcKinna JVandenbroucke A(2024)Forward- or reverse-mode automatic differentiationScience of Computer Programming10.1016/j.scico.2023.103010231:COnline publication date: 1-Jan-2024
- Capretta VHutton GJaskelioff MSchrijvers T(2016)Contractive Functions on Infinite Data StructuresProceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3064899.3064900(1-13)Online publication date: 31-Aug-2016
- Zhai KTownsend RLairmore LKim MEdwards SNicolescu GGerstlauer A(2015)Hardware synthesis from a recursive functional languageProceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis10.5555/2830840.2830850(83-93)Online publication date: 4-Oct-2015
- Show More Cited By