Programs Writing Programs
Hosted By
Derek W. and William P.
Details
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.
London Haskell
See more events
College Building, 280 St John St, EC1V 4PB · London
Programs Writing Programs