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
2 × Japan
2 × USA
Collaborated with:
P.Selinger U.D.Lago C.Faggian A.Yoshimizu M.Pagani A.S.Green P.L.Lumsdaine N.J.Ross
Talks about:
quantum (4) comput (3) parallel (2) calculus (2) classic (2) linear (2) probabilist (1) infinitari (1) synchron (1) geometri (1)

Person: Benoît Valiron

DBLP DBLP: Valiron:Beno=icirc=t

Contributed to:

LICS 20152015
POPL 20142014
PLDI 20132013
FoSSaCS 20082008
TLCA 20052005
POPL 20172017

Wrote 6 papers:

LICS-2015-LagoFVY #parallel
Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
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.
POPL-2017-LagoFVY #geometry #parallel #probability #quantum
The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.

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.