Follow
Luca Paolini
Title
Cited by
Cited by
Year
The parametric lambda calculus: a metamodel for computation
SR Della Rocca, L Paolini
Springer Science & Business Media, 2013
1232013
Call-by-value Solvability
L Paolini, SR Della Rocca
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
581999
Call-by-value solvability, revisited
B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
472012
A stable programming language
L Paolini
Information and Computation 204 (3), 339-375, 2006
362006
Essential and relational models
L Paolini, M Piccolo, SR Della Rocca
Mathematical Structures in Computer Science 27 (5), 626-650, 2017
322017
Bounding normalization time through intersection types
E De Benedetti, SR Della Rocca
arXiv preprint arXiv:1307.8205, 2013
322013
Call-by-value separability and computability
L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
312001
Parametric parameter passing λ-calculus
L Paolini, SR Della Rocca
Information and Computation 189 (1), 87-106, 2004
282004
A class of reversible primitive recursive functions
L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
192016
Lazy strong normalization
L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
172005
On a class of reversible primitive recursive functions and its turing-complete extensions
L Paolini, M Piccolo, L Roversi
New Generation Computing 36 (3), 233-256, 2018
162018
A formal model for multi SPLs
F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
152017
Syntactical, operational and denotational linearity
MG Gaboardi, LL Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
152007
Standardization and conservativity of a refined call-by-value lambda-calculus
G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
142016
From featured transition systems to modal transition systems with variability constraints
MH Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini
SEFM 2015 Collocated Workshops, 344-359, 2015
142015
Standardization of a call-by-value lambda-calculus
G Guerrieri, L Paolini, S Ronchi Della Rocca
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
142015
Semantically linear programming languages
L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
132008
A formal model for multi software product lines
F Damiani, M Lienhardt, L Paolini
Science of Computer Programming 172, 203-231, 2019
122019
On the expressiveness of modal transition systems with variability constraints
MH ter Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini
Science of Computer Programming 169, 1-17, 2019
112019
A certified study of a reversible programming language
L Paolini, M Piccolo, L Roversi
21st International Conference on Types for Proofs and Programs (TYPES 2015), 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–20