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

From tfpie
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.
  • You cannot overwrite this file.

The following page links to this file: