Cited By
View all- Bossard A(2022)A-IDE: A Non-intrusive Cross-Platform Development Environment for AVR Programming in AssemblySoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing10.1007/978-3-031-19604-1_1(1-12)Online publication date: 19-Nov-2022
- Noonan M(2018)Ghosts of departed proofs (functional pearl)ACM SIGPLAN Notices10.1145/3299711.324275553:7(119-131)Online publication date: 17-Sep-2018
- Noonan MWu N(2018)Ghosts of departed proofs (functional pearl)Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell10.1145/3242744.3242755(119-131)Online publication date: 17-Sep-2018
- Show More Cited By