Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
09.01.2023
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.