Dependent Session Types via Intuitionistic Linear Type Theory

AuthID
 P-005-5S5
3
Author(s)
2
Editor(es)
Peter Schneider-Kamp; Michael Hanus
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING in PPDP
Páginas: 161-171 (11)
Conference
13Th International Acm Sigplan Symposium on Principles and Practice of Declarative Programming, Date: JUL 20-22, 2011, Location: Odense, DENMARK, Patrocinadores: ACM SIGPLAN, Univ So Denmark, Danish Agcy Sci Technol & Innovat
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/169765
Crossref®39
Google Scholar®
Publication Identifiers
DBLP: conf/ppdp/ToninhoCP11
SCOPUS: 2-s2.0-80052145663
Wos: WOS:000304069200016
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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service