User contributions
Jump to navigation
Jump to search
- 09:33, 15 March 2022 diff hist -96 TFPIE2022 Upload wiki-hosted version of talk files
- 09:29, 15 March 2022 diff hist +168 N File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022. current
- 09:29, 15 March 2022 diff hist +184 N File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022. current
- 22:18, 14 March 2022 diff hist +279 TFPIE2022 External link to files for "Teaching simple constructive proofs with Haskell programs"