Bookmark Saya

Semantic Scholar Open Access 2016 419 sitasi

Dependent types and multi-monadic effects in F*

Nikhil Swamy Cătălin Hrițcu C. Keller Aseem Rastogi Antoine Delignat-Lavaud +7 lainnya
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (12)

N

Nikhil Swamy

C

Cătălin Hrițcu

C

C. Keller

A

Aseem Rastogi

A

Antoine Delignat-Lavaud

S

Simon Forest

K

K. Bhargavan

C

C. Fournet

P

Pierre-Yves Strub

M

Markulf Kohlweiss

J

J. Zinzindohoué

S

Santiago Zanella-Béguelin

Format Sitasi

APA MLA BibTeX
Swamy, N., Hrițcu, C., Keller, C., Rastogi, A., Delignat-Lavaud, A., Forest, S. et al. (2016). Dependent types and multi-monadic effects in F*. https://doi.org/10.1145/2837614.2837655

Akses Cepat

Lihat di Sumber doi.org/10.1145/2837614.2837655
Informasi Jurnal
Tahun Terbit
2016
Bahasa
en
Total Sitasi
419×
Sumber Database
Semantic Scholar
DOI
10.1145/2837614.2837655
Akses
Open Access ✓