Dependent Session Types via Intuitionistic Linear Type Theory

AuthID
 P-005-5S5
3
Author(s)
2
Editor(s)
Peter Schneider-Kamp; Michael Hanus
Document Type
Proceedings Paper
Year published
2011
Published
in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING in PPDP
Pages: 161-171 (11)
Conference
13Th International Acm Sigplan Symposium on Principles and Practice of Declarative Programming, Date: JUL 20-22, 2011, Location: Odense, DENMARK, Sponsors: ACM SIGPLAN, Univ So Denmark, Danish Agcy Sci Technol & Innovat
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/169765
Crossref®39
Google Scholar®
Publication Identifiers
DBLP: conf/ppdp/ToninhoCP11
SCOPUS: 2-s2.0-80052145663
Wos: WOS:000304069200016
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

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