Seuraa
Luca Paolini
Nimike
Viittaukset
Viittaukset
Vuosi
The parametric lambda calculus: a metamodel for computation
SR Della Rocca, L Paolini
Springer Science & Business Media, 2013
1242013
Call-by-value Solvability
L Paolini, SR Della Rocca
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
611999
Call-by-value solvability, revisited
B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
492012
A stable programming language
L Paolini
Information and Computation 204 (3), 339-375, 2006
372006
Call-by-value separability and computability
L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
332001
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
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
202016
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
182018
Lazy strong normalization
L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
172005
Standardization and conservativity of a refined call-by-value lambda-calculus
G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
162016
A formal model for multi SPLs
F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
152017
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
152015
Syntactical, operational and denotational linearity
MG Gaboardi, LL Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
152007
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
A formal model for multi software product lines
F Damiani, M Lienhardt, L Paolini
Science of Computer Programming 172, 203-231, 2019
132019
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
132017
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
132017
Semantically linear programming languages
L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
132008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20