scientific article; zbMATH DE number 6131659

MaRDI QIDQ4904221zbMATH OpenFDO

Authors Vasco T. Vaconcelos

Publication date 28 January 2013

zbMATH Keywords

functional languageobject-oriented languagepi calculussession types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Session types revisited
• A semantic deconstruction of session types
• Fundamentals of session types
• Context-free session types
• Typing the behavior of software components using session types
• Session and Union Types for Object Oriented Programming
• Bounded Session Types for Object Oriented Languages
• Session types as intuitionistic linear propositions

Cited in

(8)

• Polymorphic lambda calculus with context-free session types
• Algorithmic type checking for a pi-calculus with name matching and session types
• Session Types with Gradual Typing
• Synthesising Choreographies from Local Session Types
• Context-free session types for applied pi-calculus
• Rast: a language for resource-aware session types
• Kind inference for the \textsc{FreeST} programming language
• Fundamentals of session types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904221)