Prof. Dr. Jan Christiansen
Professor am Fachbereich Information und Kommunikation
Angewandte Informatik Anerkennung von Leistungen Fachliche Studienberatung
Telefon 0461/805-1668
Raum A 206
Professor für
Programmiersprachen und Theorie der Programmierung
Organisation
Zuständigkeiten
- Angewandte Informatik Anerkennung von Leistungen Fachliche Studienberatung
- TechStartUp@HS-Flensburg (TeStUp) Informatik | Software Factory
- Software Factory Ansprechpartner
Neuste Publikationen
2020
- (2020). Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism. Theory And Practice Of Logic Programming, 20, 147-175. http://doi.org/10.1017/S1471068419000085.
2019
- (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125-138). ACM Press. http://doi.org/10.1145/3331545.3342592.
Abstract
- (2019). One Monad to Prove Them All. The Art, Science, And Engineering Of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8.
Abstract