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.

 

Institute for Software Systems

 

STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics

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.