Kiel and Flensburg (Germany)
FreeProving
Advanced@FreeProving
This project's goal is to model non-strict languages with effects using free monads in Coq.
views 0 projects
Apply This project's goal is to model non-strict languages with effects using free monads in Coq.