학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Dependent types and multi-monadic effects in F∗

Document Type

Article

Author

Swamy, N.; Keller, C.; Fournet, C.; Kohlweiss, M.; Zanella-Béguelin, S.; Hritçu, C.; Delignat-Lavaud, A.; Forest, S.; Bhargavan, K.; Zinzindohoue, J.-K.; Rastogi, A.; Strub, P.-Y.

Source

In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, 8 April 2016, 51(1):256-270)

Subject

Language

English

ISSN

15232867

Online Access

Scopus Find it@PNU

이메일