File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf

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

The following page links to this file: