Peter-Michael Osera | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

David G. Wonnacott
1 publication

research

∙ 07/07/2019

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

There is a sharp disconnect between the programming and mathematical por...

0 David G. Wonnacott, et al. ∙

research

∙ 07/06/2019

Constraint-Based Type-Directed Program Synthesis

We explore an approach to type-directed program synthesis rooted in cons...

0 Peter-Michael Osera, et al. ∙