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 × Sweden
Collaborated with:
R.H.0001 K.H.(Favonia) Todd Wilson E.Morehouse D.R.Licata R.Harper N.Feltman U.A.Acar K.Fatahalian
Talks about:
theori (3) comput (2) type (2) dimension (1) construct (1) cartesian (1) calculus (1) homotop (1) automat (1) reason (1)

Person: Carlo Angiuli

DBLP DBLP: Angiuli:Carlo

Contributed to:

ICFP 20142014
ESOP 20162016
CSL 20182018
POPL 20172017

Wrote 4 papers:

ICFP-2014-AngiuliMLH #topic
Homotopical patch theory (CA, EM, DRL, RH), pp. 243–256.
ESOP-2016-FeltmanAAF #automation #λ-calculus
Automatically Splitting a Two-Stage Lambda Calculus (NF, CA, UAA, KF), pp. 255–281.
CSL-2018-AngiuliF0 #reasoning #type system
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities (CA, KBH(, RH0), p. 17.
POPL-2017-AngiuliHW #type system
Computational higher-dimensional type theory (CA, RH0, TW), pp. 680–693.

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.