Iowa Type Theory Commute

Structured Recursion Schemes for Point-Free Recursion


Listen Later

Review of basic application of category theory for functional programming.  Recursion schemes are combinators that let you write point-free recursions.

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

Iowa Type Theory CommuteBy Aaron Stump

  • 5
  • 5
  • 5
  • 5
  • 5

5

16 ratings