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