Sign in
POPL 2020
Event Home
Dependently Typed Quantum Programming in Proto-Quipper
Sep 17, 2020
|
37 views
ACM SIGPLAN
Follow
Details
Presenter: Peter Selinger Presented at PLanQC 2020, located at POPL 2020
Category: POPL 2020
Comments
loading...
Reactions
(0)
| Note
📝 No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
22:17
ICAPS 2014: Mike Barley on "Overcoming the Utility Problem in Heuristic Generation: ..."
ICAPS
| Aug 7, 2014
18:33
ICAPS 2014: Stefan Edelkamp on "Symbolic and Explicit Search Hybrid through Perfect Hash Functions"
ICAPS
| Aug 7, 2014
50:27
ICAPS 2012: Invited Talk by Anthony Cohn
ICAPS
| Aug 15, 2014
56:04
ICAPS 2012: Invited talk by George Pappas
ICAPS
| Aug 18, 2014
51:45
ICAPS 2012: Opening Remark & Invited Talk by Robert Ambrose
ICAPS
| Aug 18, 2014