BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Paolini:Luca

Contributed to:

SEFM 20152015
TLCA 20152015
FLOPS 20122012
ICFP 20112011
PPDP 20082008
FoSSaCS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.