Sign in
POPL 2020
Event Home
Dependently Typed Quantum Programming in Proto-Quipper
Sep 17, 2020
|
36 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
43:26
SREcon14 - Grilled Cheese at Scale: A Recipe for Stability Practices
USENIX
| Jun 26, 2014
50:45
SREcon14 - Design Review Best Practices
USENIX
| Jun 26, 2014
55:04
SREcon14 - Keys to SRE
USENIX
| Jun 26, 2014
3:08
The ICAPS Three
ICAPS
| Jul 2, 2014
20:34
ICAPS 2014: Daniel Harabor on "Improving Jump Point Search"
ICAPS
| Jul 2, 2014
