What Monads Can and Cannot Do with a Bit of Extra Time

Søgeresultater

• Alegro: Algebraic Effects and Guarded Recursion

  Møgelberg, R. E. (PI), Zwart, M. A. (CoI) & Stepanenko, S. (Samarbejdspartner)

  Danmarks Frie Forskningsfond

  01/07/2022 → 30/09/2026

  Projekter: Projekt › Forskning

  • Type Theory 100%
  • Probabilistic Choice 75%
  • Monads 66%
  • Algebraic Effects 62%
  • Guarded Recursion 56%