My Summer in Munich: Real-world Program Extraction into Haskell programs

Fredrik Nordvall Forsberg

(Swansea University)

Talk in the Realisability Seminar.
Wednesday 13th February 2013, 15:00
504 (Realisability Seminar)
Department of Computer Science