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.
24th International Symposium on Trends in Functional Programming
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.