to main content

to side bar (if existing)

to footer with external links

Result: Artifact for "Gradual Session Types", appearing in ACM SIGPLAN International Conference on Functional Programming

Title:

Artifact for "Gradual Session Types", appearing in ACM SIGPLAN International Conference on Functional Programming

Contributors:

Igarashi, Atsushi (Verfasser); Thiemann, Peter (Verfasser) ; Wadler, Philip (Verfasser) ; Vasconcelos, Vasco (Verfasser); Saffrich, Hannes (Verfasser)

Institution:

Albert-Ludwigs-Universität Freiburg. Institut für Informatik (Mitwirkender)
Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Mitwirkender)

Edition:

2. korrigierte Version

Published:

Freiburg, 2017

Description:

Online-Ressource

Format:

E-Book

Language:

English

Notes:

cc_by_sa http://creativecommons.org/licenses/by-sa/4.0/deed.de cc

DOI:

10.6094/UNIFR/12757