File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.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_extended_abstract.pdf (file size: 241 KB, MIME type: application/pdf)
Summary
"Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted 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 | (241 KB) | MatthewFarrugiaRoberts (talk | contribs) | "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022. |
You cannot overwrite this file.
File usage
The following page uses this file: