Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/7MPOO.html 2025-09-27T08:42:01Z 2025-08-14T09:37:15Z Type theory and functional programming. (1999)
  • 2025‑08‑14 - Type theory and functional programming. (1999)
  • https://www.cs.cornell.edu/courses/cs6110/2015sp/textbook/Simon%20Thompson%20textbook.pdf
  • redirect https://dotat.at/:/7MPOO
  • blurb https://dotat.at/:/7MPOO.html
  • atom entry https://dotat.at/:/7MPOO.atom
  • web.archive.org archive.today
    • ]]>