Uploads by MatthewFarrugiaRoberts

Jump to navigation Jump to search

This special page shows all uploaded files.

File list
Date Name Thumbnail Size Description Versions
10:29, 15 March 2022 Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf (file) 241 KB "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald S√łndergaard. Extended abstract accepted for presentation at TFPIE2022. 1
10:29, 15 March 2022 Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf (file) 377 KB "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald S√łndergaard. Slide deck for presentation at TFPIE2022. 1