2 papers
cs.PL2019
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
David G. Wonnacott, Peter-Michael Osera
There is a sharp disconnect between the programming and mathematical portions of the standard undergraduate computer science curriculum, leading to student misunderstanding about h…
cs.PL2019
Constraint-Based Type-Directed Program Synthesis
Peter-Michael Osera
We explore an approach to type-directed program synthesis rooted in constraint-based type inference techniques. By doing this, we aim to more efficiently synthesize polymorphic cod…