https://github.com/sellout/category-parametric-talk

Talks on category-parametric programming.
https://github.com/sellout/category-parametric-talk

category-theory presentation scala

Last synced: 9 days ago
JSON representation

Talks on category-parametric programming.

• Host: GitHub
• URL: https://github.com/sellout/category-parametric-talk
• Owner: sellout
• Created: 2018-10-31T11:22:53.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2023-12-15T11:37:30.000Z (11 months ago)
• Last Synced: 2024-10-13T10:34:05.610Z (24 days ago)
• Topics: category-theory, presentation, scala
• Language: Scala
• Size: 1.44 MB
• Stars: 22
• Watchers: 4
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Category-parametric Programming

- Duality and How to Delete Half (minus ε) of Your Code – [video](https://www.youtube.com/watch?v=VGZi4nTgZxs) – Typelevel Summit – Boston, MA, USA – 2018–03-??

- [Category-parametric Programming](./scala-io.org) – [video](https://www.youtube.com/watch?v=QE3zqV4kVEo) – Scala.io – Lyon, FR – 2018–10–30

- [Duality and How to Delete Half (minus ε) of Your Code](./scale/README.org) – [video](https://www.youtube.com/watch?v=UlFAgD1NY-s) – Scale By The Bay – SF, CA, USA – 2018–11–13

- [The Monoiad](./monoiad/) – [video](https://www.youtube.com/watch?v=RwD5n2Dog3I) – Typelevel Summit – Philadelphia, PA, USA – 2019–03–??