Izaak Meckler
Home
Research
Art
Teaching
Synthesis with String Diagrams in Haskell
2015-09-02
View
ICFP 2015
A talk on my senior thesis work applying
string diagrams
to program synthesis.