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 × Hungary
1 × Poland
2 × Japan
3 × USA
Collaborated with:
B.Valiron M.Pagani A.S.Green P.L.Lumsdaine N.J.Ross
Talks about:
quantum (4) comput (3) calculus (2) program (2) languag (2) control (2) semant (2) linear (2) order (2) model (2)

Person: Peter Selinger

DBLP DBLP: Selinger:Peter

Contributed to:

POPL 20142014
PLDI 20132013
FoSSaCS 20082008
TLCA 20052005
FLOPS 20042004
TLCA 20012001
LICS 19961996

Wrote 7 papers:

POPL-2014-PaganiSV #higher-order #quantum #semantics
Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
PLDI-2013-GreenLRSV #named #programming language #quantum #scalability
Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
FoSSaCS-2008-SelingerV #call-by #λ-calculus
A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (PS, BV), pp. 81–96.
TLCA-2005-SelingerV #quantum #λ-calculus
A λ Calculus for Quantum Computation with Classical Control (PS, BV), pp. 354–368.
FLOPS-2004-Selinger #overview #programming language #quantum
A Brief Survey of Quantum Programming Languages (PS), pp. 1–6.
TLCA-2001-Selinger #category theory #semantics
Categorical Semantics of Control (PS), pp. 6–7.
LICS-1996-Selinger #finite #modelling
Order-Incompleteness and Finite λ Models (PS), pp. 432–439.

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.