1 citations · 2 across the 6 of their papers we have counts for
6 papers
Staged Hybrid Quantum-Classical Programming
Chuta Sano, Peng Fu, Ryan Kavanagh +2
Hybrid quantum-classical computing systems consist of a classical control system that sends quantum circuits and receives measurement results from a quantum co-processor. Such syst…
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
Yihan Zhang, Brigitte Pientka, Xujie Si
Large-Language Models (LLMs) are changing the way learners acquire knowledge outside the classroom setting. Previous studies have shown that LLMs seem effective in generating to sh…
Deconstructed Proto-Quipper: A Rational Reconstruction
Ryan Kavanagh, Chuta Sano, Brigitte Pientka
The Proto-Quipper family of programming languages aims to provide a formal foundation for the Quipper quantum programming language. Unfortunately, Proto-Quipper languages have comp…
Modernizing SMT-Based Type Error Localization
Max Kopinsky, Brigitte Pientka, Xujie Si
Traditional implementations of strongly-typed functional programming languages often miss the root cause of type errors. As a consequence, type error messages are often misleading…
Contextual Refinement Types
Antoine Gaulin, Brigitte Pientka
We develop an extension of the proof environment Beluga with datasort refinement types and study its impact on mechanized proofs. In particular, we introduce refinement schemas, wh…
Semi-Automation of Meta-Theoretic Proofs in Beluga
Johanna Schwartzentruber, Brigitte Pientka
We present a sound and complete focusing calculus for the core of the logic behind the proof assistant Beluga as well as an overview of its implementation as a tactic in Beluga's i…