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 × Croatia
1 × Denmark
1 × Estonia
1 × Germany
1 × Japan
1 × Sweden
1 × The Netherlands
2 × France
Collaborated with:
A.Brunel K.Terui N.J.Ross B.Accattoli P.Barenbaum L.Pellissier Pierre Vial M.Pagani M.Gaboardi S.Zdancewic U.D.Lago M.d.Visme A.Yoshimizu
Talks about:
calculus (6) type (5) abstract (3) linear (3) full (3) non (3) infinitari (2) parsimoni (2) intersect (2) interact (2)

Person: Damiano Mazza

DBLP DBLP: Mazza:Damiano

Contributed to:

CSL 20152015
ICALP (2) 20152015
ESOP 20142014
ICALP (2) 20142014
ICFP 20142014
TLCA 20132013
FOSSACS 20122012
LICS 20122012
TLCA 20072007
POPL 20182018
POPL 20192019
POPL 20202020

Wrote 12 papers:

Simple Parsimonious Types and Logarithmic Space (DM), pp. 24–40.
Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
ESOP-2014-BrunelGMZ #calculus
A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
ICALP-v2-2014-Mazza #λ-calculus
Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
ICFP-2014-AccattoliBM #automaton
Distilling abstract machines (BA, PB, DM), pp. 363–376.
TLCA-2013-Mazza #metric
Non-linearity as the Metric Completion of Linearity (DM), pp. 3–14.
FoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
LICS-2012-Mazza #λ-calculus
An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus (DM), pp. 471–480.
TLCA-2007-Mazza #abstraction #combinator #interactive #symmetry
Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
POPL-2018-MazzaPV #approximate
Polyadic approximations, fibrations and intersection types (DM, LP, PV), p. 28.
POPL-2019-LagoVMY #fault #runtime #π-calculus
Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
POPL-2020-BrunelMP #linear #λ-calculus
Backpropagation in the simply typed lambda-calculus with linear negation (AB, DM, MP), p. 27.

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.