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.