All public logs
Jump to navigation
Jump to search
Combined display of all available logs of tfpie. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 09:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded 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.)
- 09:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded 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.)