Direkt zum Inhalt

Publikationen

2020

2019

  • Verifying Effectful Haskell Programs in Coq

    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

    Weiterführende Links

    Filter Tags

  • One Monad to Prove Them All

    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

    Weiterführende Links

    Filter Tags

2018

2016