Program Typing

Program Typing

Released Friday, 18th January 2019
Good episode? Give it some love!
Program Typing

Program Typing

Program Typing

Program Typing

Friday, 18th January 2019
Good episode? Give it some love!
Rate Episode
List

A weekly podcast with Cliff Click talking about all things to do with programming, programmers and computer performance.

This is a short talk on typing in programming languages, and how it might be improved and a progress report on automatically inferring e.g. recursive types in https://github.com/cliffclick/aa.

Show More
Rate
List

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,