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...
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
∙
07/12/2019
Intersection Types for the Computational lambda-Calculus
We study polymorphic type assignment systems for untyped lambda-calculi ...
research
∙
07/12/2019