Travelled to:1 × Estonia
1 × USA
Collaborated with:D.Mazza A.S.Green P.L.Lumsdaine P.Selinger B.Valiron
Talks about:interact (1) abstract (1) symmetr (1) scalabl (1) quipper (1) quantum (1) program (1) languag (1) combin (1) model (1)
Person: Neil J. Ross
DBLP: Ross:Neil_J=
Contributed to:
2013
2012Wrote 2 papers:
- PLDI-2013-GreenLRSV #named #programming language #quantum #scalability
- Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
- FoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
- Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.