research
∙
05/02/2021
The Power of Tightness for Call-By-Push-Value
We propose tight type systems for Call-by-Name (CBN) and Call-by-Value (...
share
research
∙
01/14/2021
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction
The purpose of this paper is to identify programs with control operators...
research
∙
06/13/2020
Pure Pattern Calculus à la de Bruijn
It is well-known in the field of programming languages that dealing with...
research
∙
02/10/2020
The Bang Calculus Revisited
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Call-...
research
∙
06/22/2019
Strong Bisimulation for Control Operators
The purpose of this paper is to identify programs with control operators...
research
∙
01/31/2018