episode 24

Author: nikivazou

podcast/24/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Jeremy Gibbons
+episode: 24
+buzzsproutId: 12623500
+recorded: 2023-03-01
+published: 2023-04-10
+---
+In this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or even should be like poetry.

podcast/24/links.markdown

@@ -0,0 +1,8 @@
+* [Jeremy’s Website](https://www.cs.ox.ac.uk/people/jeremy.gibbons/)
+* [Jeremy’s Twitter](https://twitter.com/jer_gib)
+* [Jeremy’s Blog](https://patternsinfp.wordpress.com/ )
+* [T800 Transputer Floating−Point Unit](https://www.cs.ox.ac.uk/publications/publication2370-abstract.html)
+* [Functional Pearls](https://www.cs.ox.ac.uk/publications/publication3342-abstract.html)
+* [Wouter’s Data Types a la Carte]https://doi.org/10.1017/S0956796808006758
+* [Applicative Programming](https://doi.org/10.1017/S0956796807006326)
+* [Mcbride’s Idiom](https://personal.cis.strath.ac.uk/conor.mcbride/Idiom-abort.pdf)