Oliver Westphal, wissenschaftlicher Mitarbeiter
Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
47057 Duisburg
Raum
LF 232
Telefon
Telefax
E-Mail
Webseite
Funktionen
-
Wissenschaftliche/r Mitarbeiter/in, Formale Methoden der Informatik
Aktuelle Veranstaltungen
Vergangene Veranstaltungen
-
2021 WS
-
2021 SS
-
2020 WS
-
2020 SS
-
2019 WS
-
2019 SS
-
2018 WS
Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.
-
A Framework for Generating Diverse Haskell-I/O Exercise TasksIn: Functional and Constraint Logic Programming / 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 / Hanus, Michael; Sacerdoti Coen, Claudio (Hrsg.) 2021, S. 97 - 114
ISBN: 978-3-030-75332-0; 978-3-030-75333-7Online Volltext: dx.doi.org/ (Open Access) -
Describing Console I/O Behavior for Testing Student Submissions in Haskell
TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education / Hage, Jurriaan (Hrsg.) 2020, S. 19 - 36
ISSN: 2075-2180Online Volltext: dx.doi.org/ (Open Access) -
Implementing, and Keeping in Check, a DSL Used in E-LearningIn: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.) 2020, S. 179 - 197
ISBN: 978-3-030-59024-6; 978-3-030-59025-3Online Volltext: dx.doi.org/ -
Automatische Bewertung von Haskell-ProgrammieraufgabenIn: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Hrsg.) 2019, S. 19 - 26
Online Volltext: dx.doi.org/ (Open Access)