Context-Free Session Types

AuthID
 P-00K-SS2
2
Author(s)
3
Editor(s)
Jacques Garrigue; Gabriele Keller; Eijiro Sumii
Document Type
Article
Year published
2016
Published
in ACM SIGPLAN NOTICES in ICFP, ISSN: 0362-1340
Volume: 51, Issue: 9, Pages: 462-475 (14)
Conference
21St Acm Sigplan International Conference on Functional Programming (Icfp), Date: SEP 18-24, 2016, Location: Nara, JAPAN, Sponsors: ACM SIGPLAN
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/648994
Crossref®6
Google Scholar®
Publication Identifiers
Dblp: conf/icfp/ThiemannV16
Scopus: 2-s2.0-85084432760
Wos: WOS:000393580700038
Source Identifiers
ISSN: 0362-1340
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service