Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luca Padovani

A Core Calculus for Dynamic Delta-Oriented Programming

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

Fair Subtyping for Multi-Party Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Context-Free Session Type Inference

ACM Transactions on Programming Languages and Systems
Software
2019English

An Algebraic Theory for Web Service Contracts

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2015English

Exception Handling for Copyless Messaging

2012English

A Theory of Contracts for Web Services

ACM SIGPLAN Notices
Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy