Point-free programming and category theory
from Iowa Type Theory Commute Hosted by Aaron Stump
Relation of point-free functional programming to category theory.
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Iowa Type Theory Commute?
This episode is 6 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on December 17, 2019.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.