research
∙
12/28/2021
From Semantics to Types: the Case of the Imperative lambda-Calculus
We propose an intersection type system for an imperative lambda-calculus...
share
research
∙
04/20/2021
On reduction and normalization in the computational core
We study the reduction in a lambda-calculus derived from Moggi's computa...
research
∙
04/03/2021
Intersection Types for a Computational Lambda-Calculus with Global State
We study the semantics of an untyped lambda-calculus equipped with opera...
research
∙
09/17/2020
Towards Refinable Choreographies
We investigate refinement in the context of choreographies. We introduce...
research
∙
07/12/2019
Intersection Types for the Computational lambda-Calculus
We study polymorphic type assignment systems for untyped lambda-calculi ...
research
∙
07/12/2019
Type Assignment for the Computational lambda-Calculus
We study polymorphic type assignment systems for untyped lambda-calculi ...
research
∙
10/05/2018
Global Types for Open Systems
Global-type formalisms enable to describe the overall behaviour of distr...
research
∙
01/12/2018
Mailbox Types for Unordered Interactions
We propose a type system for reasoning on protocol conformance and deadl...
research
∙
12/19/2017
Mixin Composition Synthesis based on Intersection Types
We present a method for synthesizing compositions of mixins using type i...
research
∙
11/30/2017