论文信息 - Dependent types and multi-monadic effects in F - 字舞流文

Dependent types and multi-monadic effects in F

Santiago Zanella Béguelin | K. Bhargavan | Antoine Delignat-Lavaud | C. Fournet | Aseem Rastogi | N. Swamy | Catalin Hritcu | Chantal Keller | Simon Forest | Pierre-Yves Strub | Markulf Kohlweiss | J. Zinzindohoué | C. Keller