Back to Results
First PageMeta Content
Computability theory / Process calculi / Π-calculus / Theory of computation / Function / Valuation / Logarithm / Μ operator / Primitive recursive function / Mathematics / Theoretical computer science / Functions and mappings


Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary
Add to Reading List

Document Date: 2014-07-25 10:12:01

Open Document

File Size: 132,78 KB

Share Result on Facebook

City

Heidelberg / New York / /

Company

Cambridge University Press / Creative Commons / ACM Press / /

Country

Germany / United States / /

Currency

pence / /

/

Facility

University of Bologna / University of Glasgow / /

IndustryTerm

online version / /

Organization

Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science / Cambridge University / University of Glasgow / University of Bologna / /

Person

Malcolm Hole / Kaku Takeuchi / Simon J. Gay / Matthew Hennessy / Giovanni Bernardi / Naoki Kobayashi / Elena Giachino / Kohei Honda / David Walker / David Turner / Benjamin Pierce / Makoto Kubo / Vasco T. Vasconcelos / Davide Sangiorgi / Vasco Vasconcelos / /

Position

author / model structured communication-based programming / /

ProvinceOrState

New York / /

Technology

simulation / /

URL

http /

SocialTag