SkillsCast
Programming with Universal Properties
4
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- YOW! Lambda Jam 2022 (Online Conference on 1st - 30th May 2022)
- Haskell eXchange 2022 (in Online Event on 1st - 30th November 2022)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Programming with Universal Properties
Gershom Bazerman
Gershom is a software developer in New York City. He is an organizer of the NY Haskell Users Group and the NY Homotopy Type Theory Reading group, and a member of the Haskell.org committee. He has written a number of widely used Haskell packages, most notably the JMacro library for programmatic generation of JavaScript. He has a particular interest in popularizing results of research related to and deriving from the mathematical foundations of computer science. He occasionally contributes blog articles at the Comonad Reader.