2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Remarks on Algebraic Reconstruction of Types and Effects
Patrycja Balik, Szymon Jędras, Piotr Polesiuk
In their 1991 paper "Algebraic Reconstruction of Types and Effects," Pierre Jouvelot and David Gifford presented a type-and-effect reconstruction algorithm based on an algebraic st…
Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
Patrycja Balik, Szymon Jędras, Piotr Polesiuk
Type-and-effect systems help the programmer to organize data and computational effects in a program. While for traditional type systems expressive variants with sophisticated infer…
Logical relations for coherence of effect subtyping
Dariusz Biernacki, Piotr Polesiuk
A coercion semantics of a programming language with subtyping is typically defined on typing derivations rather than on typing judgments. To avoid semantic ambiguity, such a semant…
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet +1
We present sound and complete environmental bisimilarities for a variant of Dybvig et al.'s calculus of multi-prompted delimited-control operators with dynamic prompt generation. T…