3 papers
physics.ao-ph2026
Ocean-atmosphere interaction at the Gulf Stream sea surface temperature front: variability and impacts on midlatitude atmospheric circulation
Luca Famooss Paolini
Sea surface temperature (SST) gradients associated with western boundary currents affect the atmospheric circulation across a range of spatial and temporal scales. Yet, several asp…
cs.PL2026
A Core Calculus for Type-safe Product Lines of C Programs
Ferruccio Damiani, Daisuke Kimura, Luca Paolini +1
In this paper we: (1) propose Lightweight C (LC), namely a core calculus that formalizes a proper subset of the ANSI C without preprocessor directives; (2) define Colored LC (CLC),…
cs.LO2026
Learning Foundations Beneath the Stars
Felice Cardone, Luca Paolini
Foundations of computer science are a key area in theoretical research, one to which Stefano has made significant contributions, particularly from a logical and proof-theoretic per…