Bhashithe Abeysinghe, Rajshekhar Sunderraman. An Interactive Lambda Calculus Execution Engine. In Venkatesh Choppella, Deepak B. Phatak, Andrew Luxton-Reilly, Michelle Craig, editors, Proceedings of the ACM Conference on Global Computing Education Vol 2, CompEd 2023, Hyderabad, India, December 5-9, 2023. pages 189, ACM, 2023. [doi]
Abstract is missing.