search result

Cover von Dependent Types for Class-based Mutable Objects

Dependent Types for Class-based Mutable Objects

Year: 2018
Media group: LIPIcs
Cover von Coordination Models and Languages
11th International Conference, Lisbon, Portugal, June 9 - 12, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5521
Media group: MONOGRAPHIE
Cover von Session Types
Author: Gay, Simon J.; Vasconcelos, Vasco T. Search for this author
Year: 2025
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von The impact of linearity information on the performance of TyCO

The impact of linearity information on the performance of TyCO

article
Year: 2003
Media group: ARTICLE
Cover von CONCUR 2007
concurrency theory : 18th international conference : Lisbon, Portugal, September 3 - 8, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4703
Media group: MONOGRAPHIE
Cover von Subtyping Context-Free Session Types

Subtyping Context-Free Session Types

Year: 2023
Media group: LIPIcs
Cover von 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
Cover von Theory and Applications of Behavioural Types; 1
pp. 158-189
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von Behavioral Types in Programming Languages
Search for this author
Year: 2016
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 3. 2026, 2-3
Media group: MONOGRAPHIE
Cover von Behavioural Types for Heterogeneous Systems
Position Paper
Search for this author
Year: 2024
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
OPEN V 11.1.0.0