Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
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…
cs.PL2025
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…
cs.PL2024
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…