Drupal-Biblio17<style face="normal" font="default" size="100%">Fat Pointers for Temporal Memory Safety of C</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Proving Quantum Programs Correct</style>