PAOLINI, Luca Luigi
PAOLINI, Luca Luigi
INFORMATICA
A Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A fully abstract model for the lazy lambda-calculus
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
A Process-Model for Linear Programs
2009-01-01 Luca Paolini; Mauro Piccolo
An Operational Characterization of Strong Normalization
2006-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Call-by-Value Separability and Computability
2001-01-01 L. PAOLINI
Call-by-value solvability, revisited
2012-01-01 Beniamino Accattoli; Luca Paolini
Deltas for Functional Programs with Algebraic Data Types
2023-01-01 Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L.
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
2015-01-01 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Host-Core Calculi for Non-classical Computations: A First Insight
2024-01-01 Matteo Palazzo, Luca Roversi, Margherita Zorzi, Luca Paolini
Lazy Logical Semantics
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Lazy strong normalization
2005-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Linearity and PCF: a semantic insight!
2011-01-01 Marco Gaboardi; Luca Paolini ; Mauro Piccolo
Logical Semantics for Stability
2009-01-01 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
Multi software product lines in the wild
2018-01-01 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
On Slicing Software Product Line Signatures
2020-01-01 Damiani F.; Lienhardt M.; Paolini L.
On the Expressivity of Total Reversible Programming Languages
2020-01-01 Matos A.B.; Paolini L.; Roversi L.
On Two Characterizations of Feature Models
2020-01-01 Damiani F.; Lienhardt M.; Paolini L.
qPCF: A language for quantum circuit computations
2017-01-01 Luca Paolini; Margherita Zorzi
Quantum programming made easy
2019-01-01 Paolini, Luca; Roversi, Luca; Zorzi, Margherita
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Class of Reversible Primitive Recursive Functions | 2016 | Paolini, Luca; Piccolo, Mauro; Roversi, Luca | |
| A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
| A fully abstract model for the lazy lambda-calculus | 2004 | L. PAOLINI; S. RONCHI DELLA ROCCA | |
| A Process-Model for Linear Programs | 2009 | Luca Paolini; Mauro Piccolo | |
| An Operational Characterization of Strong Normalization | 2006 | L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA | |
| Call-by-Value Separability and Computability | 2001 | L. PAOLINI | |
| Call-by-value solvability, revisited | 2012 | Beniamino Accattoli; Luca Paolini | |
| Deltas for Functional Programs with Algebraic Data Types | 2023 | Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L. | |
| From Featured Transition Systems to Modal Transition Systems with Variability Constraints | 2015 | ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca | |
| Host-Core Calculi for Non-classical Computations: A First Insight | 2024 | Matteo Palazzo, Luca Roversi, Margherita Zorzi, Luca Paolini | |
| Lazy Logical Semantics | 2004 | L. PAOLINI; S. RONCHI DELLA ROCCA | |
| Lazy strong normalization | 2005 | L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA | |
| Linearity and PCF: a semantic insight! | 2011 | Marco Gaboardi; Luca Paolini ; Mauro Piccolo | |
| Logical Semantics for Stability | 2009 | L.Paolini; M.Piccolo; S.Ronchi Della Rocca | |
| Multi software product lines in the wild | 2018 | Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca | |
| On Slicing Software Product Line Signatures | 2020 | Damiani F.; Lienhardt M.; Paolini L. | |
| On the Expressivity of Total Reversible Programming Languages | 2020 | Matos A.B.; Paolini L.; Roversi L. | |
| On Two Characterizations of Feature Models | 2020 | Damiani F.; Lienhardt M.; Paolini L. | |
| qPCF: A language for quantum circuit computations | 2017 | Luca Paolini; Margherita Zorzi | |
| Quantum programming made easy | 2019 | Paolini, Luca; Roversi, Luca; Zorzi, Margherita |