The parametric lambda calculus: a metamodel for computation SR Della Rocca, L Paolini
Springer Science & Business Media, 2013
124 2013 Call-by-value Solvability L Paolini, SR Della Rocca
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
61 1999 Call-by-value solvability, revisited B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
49 2012 A stable programming language L Paolini
Information and Computation 204 (3), 339-375, 2006
37 2006 Call-by-value separability and computability L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
33 2001 Essential and relational models L Paolini, M Piccolo, SR Della Rocca
Mathematical Structures in Computer Science 27 (5), 626-650, 2017
32 2017 Bounding normalization time through intersection types E De Benedetti, SR Della Rocca
arXiv preprint arXiv:1307.8205, 2013
32 2013 Parametric parameter passing λ-calculus L Paolini, SR Della Rocca
Information and Computation 189 (1), 87-106, 2004
28 2004 A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
20 2016 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
18 2018 Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
17 2005 Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
16 2016 A formal model for multi SPLs F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
15 2017 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
15 2015 Syntactical, operational and denotational linearity MG Gaboardi, LL Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
15 2007 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
14 2015 A formal model for multi software product lines F Damiani, M Lienhardt, L Paolini
Science of Computer Programming 172, 203-231, 2019
13 2019 Quantum programming made easy L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
13 2017 : A Language for Quantum Circuit ComputationsL Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
13 2017 Semantically linear programming languages L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
13 2008