Cover von Gradual Session Types opens in new tab

Gradual Session Types

article
Search for this author
Year: 2017
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 1. 2017 : Article No. 38
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: IGARASHI ATSUSHI Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2017
Publisher: New York, ACM
Works included: Dagstuhl Seminar 17051
opens in new tab
Search for this systematic
Search for this subject type
Description: 28 pp.
Series: Proceedings of the ACM on Programming Languages; 1. 2017 : Article No. 38
Participating parties: Search for this character Igarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip
Media group: ARTICLE