Direkt zum Inhalt

Publikationen

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