Sign in
POPL 2020
Event Home
Toward Certified Quantum Programming
Sep 17, 2020
|
32 views
ACM SIGPLAN
Follow
Details
Presenter: Christophe Chareton Presented at PLanQC 2020 at POPL'20.
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