File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf

From tfpie
Revision as of 10:29, 15 March 2022 by MatthewFarrugiaRoberts (talk | contribs) ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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/TimeDimensionsUserComment
current10: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.

The following page uses this file: