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 × France
1 × Poland
Collaborated with:
B.Accattoli A.Carraro T.Ehrhard L.Paolini S.R.D.Rocca M.Leberle L.Pellissier L.T.d.Falco Andrea Condoluci C.S.Coen
Talks about:
call (4) calculus (3) valu (3) structur (1) standard (1) glueabil (1) abstract (1) solvabl (1) resourc (1) general (1)

Person: Giulio Guerrieri

DBLP DBLP: Guerrieri:Giulio

Contributed to:

TLCA 20152015
FoSSaCS 20142014
ESOP 20192019
CSL 20202020
PPDP 20162016
PPDP 20192019

Wrote 6 papers:

TLCA-2015-GuerrieriPR #call-by #standard #λ-calculus
Standardization of a Call-By-Value λ-Calculus (GG, LP, SRDR), pp. 211–225.
FoSSaCS-2014-CarraroG #call-by #semantics
A Semantical and Operational Account of Call-by-Value Solvability (AC, GG), pp. 103–118.
Types by Need (BA, GG, ML), pp. 410–439.
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion (GG, LP, LTdF), p. 18.
PPDP-2016-EhrhardG #call-by #λ-calculus
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value (TE, GG), pp. 174–187.
PPDP-2019-AccattoliCGC #automaton
Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.

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.