3 papers
cs.PL2026
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
Raymond Hu, Julien Lange, Bernardo Toninho +3
Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We…
cs.SE2026
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
Runtime verification has gained popularity as a lightweight approach for increasing assurance in systems under scrutiny. Performing runtime checks enables dynamic monitoring and al…
cs.PL2025
Lazy Linearity for a Core Functional Language
Rodrigo Mesquita, Bernardo Toninho
Traditionally, in linearly typed languages, consuming a linear resource is synonymous with its syntactic occurrence in the program. However, under the lens of non-strict evaluation…