Wadler's Blog

2.10.25

Type Theory for All: The Goal of Science is to Communicate Ideas


 

Thank you to the crew at Type Theory for All for their thoughtful and well-prepared interview.

Posted by Philip Wadler at 12:35 PM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: Computing, Functional Programming, Haskell, Programming Languages
Newer Posts Older Posts Home
Subscribe to: Comments (Atom)

Pages

  • Home

Blog Archive

  • ▼  2025 (12)
    • ▼  October (1)
      • Type Theory for All: The Goal of Science is to Com...
    • ►  September (3)
    • ►  August (2)
    • ►  June (3)
    • ►  May (1)
    • ►  February (1)
    • ►  January (1)
  • ►  2024 (8)
    • ►  December (2)
    • ►  October (1)
    • ►  July (1)
    • ►  May (4)
  • ►  2023 (9)
    • ►  August (3)
    • ►  July (2)
    • ►  June (1)
    • ►  May (1)
    • ►  March (2)
  • ►  2022 (15)
    • ►  December (1)
    • ►  November (1)
    • ►  September (1)
    • ►  August (1)
    • ►  July (1)
    • ►  June (1)
    • ►  May (2)
    • ►  April (3)
    • ►  March (2)
    • ►  January (2)
  • ►  2021 (17)
    • ►  September (2)
    • ►  July (1)
    • ►  May (1)
    • ►  April (1)
    • ►  March (5)
    • ►  February (4)
    • ►  January (3)
  • ►  2020 (32)
    • ►  December (5)
    • ►  October (1)
    • ►  September (1)
    • ►  August (4)
    • ►  July (2)
    • ►  June (4)
    • ►  May (3)
    • ►  April (5)
    • ►  March (6)
    • ►  January (1)
  • ►  2019 (14)
    • ►  December (3)
    • ►  October (5)
    • ►  August (1)
    • ►  May (2)
    • ►  March (3)
  • ►  2018 (16)
    • ►  December (3)
    • ►  October (2)
    • ►  September (3)
    • ►  August (3)
    • ►  July (1)
    • ►  June (1)
    • ►  May (1)
    • ►  March (2)
  • ►  2017 (13)
    • ►  December (1)
    • ►  November (1)
    • ►  July (1)
    • ►  June (7)
    • ►  March (3)
  • ►  2016 (46)
    • ►  December (2)
    • ►  November (1)
    • ►  October (2)
    • ►  September (4)
    • ►  August (7)
    • ►  July (3)
    • ►  June (15)
    • ►  May (3)
    • ►  April (5)
    • ►  March (2)
    • ►  February (1)
    • ►  January (1)
  • ►  2015 (60)
    • ►  December (12)
    • ►  November (1)
    • ►  October (7)
    • ►  September (4)
    • ►  July (1)
    • ►  June (4)
    • ►  May (5)
    • ►  April (9)
    • ►  March (7)
    • ►  February (3)
    • ►  January (7)
  • ►  2014 (92)
    • ►  December (4)
    • ►  November (6)
    • ►  October (2)
    • ►  September (8)
    • ►  August (8)
    • ►  July (3)
    • ►  June (8)
    • ►  May (11)
    • ►  April (11)
    • ►  March (9)
    • ►  February (8)
    • ►  January (14)
  • ►  2013 (84)
    • ►  December (2)
    • ►  November (9)
    • ►  October (7)
    • ►  September (2)
    • ►  August (14)
    • ►  June (5)
    • ►  May (12)
    • ►  April (9)
    • ►  March (15)
    • ►  February (6)
    • ►  January (3)
  • ►  2012 (59)
    • ►  December (5)
    • ►  November (3)
    • ►  October (7)
    • ►  September (5)
    • ►  August (4)
    • ►  July (3)
    • ►  June (2)
    • ►  May (7)
    • ►  April (5)
    • ►  March (11)
    • ►  February (5)
    • ►  January (2)
  • ►  2011 (39)
    • ►  December (3)
    • ►  November (3)
    • ►  October (3)
    • ►  September (5)
    • ►  August (3)
    • ►  July (1)
    • ►  June (3)
    • ►  April (7)
    • ►  March (6)
    • ►  February (4)
    • ►  January (1)
  • ►  2010 (42)
    • ►  December (4)
    • ►  November (6)
    • ►  September (4)
    • ►  August (8)
    • ►  July (1)
    • ►  June (4)
    • ►  May (1)
    • ►  April (8)
    • ►  March (2)
    • ►  February (2)
    • ►  January (2)
  • ►  2009 (50)
    • ►  December (5)
    • ►  November (7)
    • ►  October (2)
    • ►  September (2)
    • ►  August (5)
    • ►  July (4)
    • ►  June (5)
    • ►  May (8)
    • ►  April (2)
    • ►  March (2)
    • ►  February (3)
    • ►  January (5)
  • ►  2008 (42)
    • ►  December (8)
    • ►  November (3)
    • ►  October (8)
    • ►  September (4)
    • ►  June (4)
    • ►  April (5)
    • ►  March (2)
    • ►  February (6)
    • ►  January (2)
  • ►  2007 (39)
    • ►  December (5)
    • ►  November (1)
    • ►  October (7)
    • ►  September (2)
    • ►  August (4)
    • ►  July (1)
    • ►  May (7)
    • ►  April (3)
    • ►  March (1)
    • ►  February (6)
    • ►  January (2)
  • ►  2006 (64)
    • ►  December (4)
    • ►  November (3)
    • ►  October (1)
    • ►  September (1)
    • ►  August (2)
    • ►  July (3)
    • ►  June (11)
    • ►  May (15)
    • ►  April (6)
    • ►  March (9)
    • ►  February (3)
    • ►  January (6)
  • ►  2005 (76)
    • ►  December (2)
    • ►  November (6)
    • ►  October (3)
    • ►  September (4)
    • ►  August (3)
    • ►  July (2)
    • ►  June (9)
    • ►  May (10)
    • ►  April (13)
    • ►  March (16)
    • ►  February (4)
    • ►  January (4)
  • ►  2004 (1)
    • ►  December (1)

About Me

Philip Wadler
View my complete profile
Simple theme. Powered by Blogger.