Programs Writing Programs

Speaker: Anthony Sheldon.

Anthony will be speaking about program synthesis and proof search techniques for deducing program implementations by deriving them from Haskell type signatures.