Pages that link to "Item:Q859841"

The following pages link to Type checking a multithreaded functional language with session types (Q859841):

Displaying 4 items.

• The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
• Combining behavioural types with security analysis (Q890614) (← links)
• Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
• Objects and session types (Q1021571) (← links)