The Haskell Interlude

24: Jeremy Gibbons


Listen Later

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.

...more
View all episodesView all episodes
Download on the App Store

The Haskell InterludeBy Haskell Podcast

  • 5
  • 5
  • 5
  • 5
  • 5

5

13 ratings


More shows like The Haskell Interlude

View all
In Our Time by BBC Radio 4

In Our Time

5,389 Listeners

Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

Software Engineering Radio - the podcast for professional software developers

272 Listeners

Philosophy Bites by Edmonds and Warburton

Philosophy Bites

1,532 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

590 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

621 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

500 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

189 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,142 Listeners

Your Undivided Attention by Tristan Harris and Aza Raskin, The Center for Humane Technology

Your Undivided Attention

1,472 Listeners

Last Week in AI by Skynet Today

Last Week in AI

287 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

88 Listeners

Type Theory Forall by Pedro Abreu

Type Theory Forall

10 Listeners

The Array Cast by The Array Cast

The Array Cast

35 Listeners

The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

The Joy of Why

502 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

47 Listeners