Direkt zum Inhalt

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

Lehre

Organisation

Zuständigkeiten

Neuste Publikationen

2020

2019

  • Christiansen, J., Dylus, S., & Bunkenburg, N. (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
  • Dylus, S., Christiansen, J., & Teegen, F. (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