The following pages link to Mario Coppo (Q235602):
Displaying 49 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- Completeness of type assignment in continuous lambda models (Q792995) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- (Q1102934) (redirect page) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- An extension of basic functionality theory for \(\lambda\)-calculus (Q1134141) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- On the semantics of polymorphism (Q1835664) (← links)
- Principal types and unification for simple intersection type systems (Q1900315) (← links)
- Data-driven adaptation for smart sessions (Q2360650) (← links)
- (Q2771055) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
- (Q2843918) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- (Q3036694) (← links)
- A new type assignment for λ-terms (Q3208623) (← links)
- (Q3221961) (← links)
- A filter lambda model and the completeness of type assignment (Q3335753) (← links)
- Global Progress in Dynamically Interleaved Multiparty Sessions (Q3541035) (← links)
- (Q3674034) (← links)
- (Q3709890) (← links)
- (Q3817572) (← links)
- (Q3893285) (← links)
- Functional Characters of Solvable Terms (Q3936713) (← links)
- (Q4133598) (← links)
- (Q4138712) (← links)
- (Q4159030) (← links)
- (Q4175261) (← links)
- (Q4198724) (← links)
- (Q4364386) (← links)
- (Q4448357) (← links)
- (Q4472544) (← links)
- (Q4673434) (← links)
- (Q4699353) (← links)
- (Q4703040) (← links)
- (Q4737001) (← links)
- (Q4993854) (← links)
- Refinement types for program analysis (Q5030192) (← links)
- (Q5151035) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Types for ambient and process mobility (Q5458067) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- Theoretical Computer Science (Q5897364) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898165) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)
