Travelled to:1 × Austria
1 × Poland
1 × Spain
1 × United Kingdom
2 × Japan
Collaborated with:M.Piccolo S.R.D.Rocca B.Accattoli G.Guerrieri M.Gaboardi E.Pimentel M.H.t.Beek F.Damiani S.Gnesi F.Mazzanti
Talks about:transit (2) system (2) semant (2) linear (2) valu (2) call (2) constraint (1) character (1) standard (1) calculus (1)
Person: Luca Paolini
DBLP: Paolini:Luca
Contributed to:
2015
2015
2012
2011
2008
2006Wrote 6 papers:
- SEFM-2015-BeekDGMP #constraints #variability
- From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
- TLCA-2015-GuerrieriPR #call-by #standard #λ-calculus
- Standardization of a Call-By-Value λ-Calculus (GG, LP, SRDR), pp. 211–225.
- FLOPS-2012-AccattoliP #call-by #revisited
- Call-by-Value Solvability, Revisited (BA, LP), pp. 4–16.
- ICFP-2011-GaboardiPP #exclamation #semantics
- Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
- PPDP-2008-PaoliniP #linear #programming language #semantics
- Semantically linear programming languages (LP, MP), pp. 97–107.
- FoSSaCS-2006-PaoliniPR #normalisation
- An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.