Direkt zum Inhalt

Publikationen

2020

2019

  • 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