The following pages link to Davide Ancona (Q737081):
Displayed 38 items.
- Incremental rebinding with name polymorphism (Q737082) (← links)
- An abstract machine for asynchronous programs with closures and priority queues (Q1685782) (← links)
- Comparing trace expressions and linear temporal logic for runtime verification (Q2026783) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- (Q2722015) (← links)
- (Q2767194) (← links)
- (Q2779264) (← links)
- (Q2848693) (← links)
- A Parametric Calculus for Mobile Open Code (Q2864499) (← links)
- Static Single Information Form for Abstract Compilation (Q2915156) (← links)
- An algebraic approach to mixins and modularity (Q2956721) (← links)
- Type safe incremental rebinding (Q2971056) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- (Q3046765) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- A Theoretical Perspective of Coinductive Logic Programming (Q3187007) (← links)
- Principal typings for Java-like languages (Q3452269) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
- A theory of mixin modules: basic and derived operators (Q4236216) (← links)
- A calculus of module systems (Q4331135) (← links)
- (Q4375629) (← links)
- A theory of mixin modules: algebraic laws and reduction semantics (Q4405692) (← links)
- (Q4449178) (← links)
- (Q4580225) (← links)
- (Q4673423) (← links)
- (Q4941922) (← links)
- (Q4993855) (← links)
- (Q5020942) (← links)
- (Q5091145) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- (Q5151011) (← links)
- A Coalgebraic Foundation for Coinductive Union Types (Q5167827) (← links)
- Polymorphic bytecode (Q5276131) (← links)
- Trustworthy Global Computing (Q5394805) (← links)
- Theoretical Computer Science (Q5897367) (← links)
- Formal Methods for Components and Objects (Q5897452) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)