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 × Brazil
1 × USA
Collaborated with:
B.Ahrens V.Voevodsky A.S.Green N.J.Ross P.Selinger B.Valiron
Talks about:
theori (2) type (2) intension (1) structur (1) categori (1) scalabl (1) quipper (1) quantum (1) program (1) languag (1)

Person: Peter LeFanu Lumsdaine

DBLP DBLP: Lumsdaine:Peter_LeFanu

Contributed to:

PLDI 20132013
TLCA 20092009
CSL 20172017

Wrote 3 papers:

PLDI-2013-GreenLRSV #named #programming language #quantum #scalability
Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
TLCA-2009-Lumsdaine #type system
Weak ω-Categories from Intensional Type Theory (PLL), pp. 172–187.
CSL-2017-AhrensLV #category theory #type system
Categorical Structures for Type Theory in Univalent Foundations (BA, PLL, VV), p. 16.

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.