Program Synthesis

A list of prior work I did with my collaborators and Ph.D. students on dependent type theory and program synthesis: Program Synthesis.

Safety by shared synthesis   Singular learning, relative information and the dual numbers