2 papers
cs.CY2026
Reshaping Undergraduate Computer Science Education in the Generative AI Era
Yi-Chieh Lee, Nattapat Boonprakong, Yugin Tan +20
Generative AI represents a turning point for Computer Science (CS) education. In recent decades, post-secondary CS education has largely focused on what has been seen as practical…
cs.PL2025
A Coq implementation of a Theory of Tagged Objects
Matthew Gates, Alex Potanin
We present a first step towards the Coq implementation of the Theory of Tagged Objects formalism. The concept of tagged types is encoded, and the soundness proofs are discussed wit…