Amalgamating sessions and methods in object-oriented languages with generics (Q1004058): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2008.09.016 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.016 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1990280150 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3127246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Correspondence assertions for process synchronization in concurrent communications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Calculus of Global Interaction based on Session Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structured Communication-Centred Programming for Web Services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asynchronous Session Types and Progress for Object Oriented Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: A type safe state abstraction for coordination in JAVA-like languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded Session Types for Object Oriented Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Objects and session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical Foundations of Computer Science 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subtyping for session types in the pi calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear type theory for asynchronous session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4937113 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two Session Typing Systems for Higher-Order Mobile Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Session-Based Communication Optimisation for Higher-Order Mobile Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discriminative sum types locate the source of type errors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3413374 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type checking a multithreaded functional language with session types / rank
 
Normal rank
Property / cites work
 
Property / cites work: A syntactic approach to type soundness / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2008.09.016 / rank
 
Normal rank

Latest revision as of 12:16, 10 December 2024

scientific article
Language Label Description Also known as
English
Amalgamating sessions and methods in object-oriented languages with generics
scientific article

    Statements

    Amalgamating sessions and methods in object-oriented languages with generics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 March 2009
    0 references
    session types
    0 references
    foundations of object-oriented programming
    0 references
    subject reduction
    0 references
    progress
    0 references

    Identifiers