STS-News

24th International Symposium on Trends in Functional Programming

How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks

Ole L├╝bke from STS presents the paper "How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks" on the 24th International Symposium on Trends in Functional Programming, from 12th to 15th January 2023 at the University of Boston.