Cited By
View all- Farrugia-Roberts MJeffries BSøndergaard H(2022)Teaching Simple Constructive Proofs with Haskell ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.363.4363(54-73)Online publication date: 26-Jul-2022
- Farrugia-Roberts MJeffries BSøndergaard HBecker BQuille KLaakso MBarendsen ESimon (2022)Programming to LearnProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524814(311-317)Online publication date: 7-Jul-2022
- Cogumbreiro TBlike GBecker BQuille KLaakso MBarendsen ESimon (2022)GidayuProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524742(110-116)Online publication date: 7-Jul-2022
- Show More Cited By