3 papers
cs.PL2026
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…
cs.PL2025
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…
cs.LO2024
Fully Abstract Encodings of -Calculus in HOcore through Abstract Machines
MaÅgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +3
We present fully abstract encodings of the call-by-name and call-by-value -calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider s…