File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf (file size: 377 KB, MIME type: application/pdf)
Summary
"Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 10:29, 15 March 2022 | (377 KB) | MatthewFarrugiaRoberts (talk | contribs) | "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022. |
You cannot overwrite this file.
File usage
The following page uses this file: