POPL 2020

Toward Certified Quantum Programming

Sep 17, 2020

|

32 views

ACM SIGPLAN

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

ICAPS 2012: Session IIIa on "Robot Path Planning"

ICAPS | Aug 18, 2014

ICAPS 2012: DC Posters & System Demos

ICAPS | Aug 18, 2014

ICAPS 2012: Session VIb on "Planning and Scheduling for Shipping and Transportation"

ICAPS | Aug 18, 2014

ICAPS 2012: Awards & Best Dissertation Presentations

ICAPS | Aug 19, 2014

ICAPS 2014: Miquel Ramírez on "Directed Fixed-Point Regression-Based Planning..."

ICAPS | Sep 22, 2014