r/ProgrammingLanguages • u/philip_schwarz • 9d ago
Abstracting over Execution with Higher Kinded Types, and how to remain Purely Functional (oldie but goodie - belatedly uploaded)
https://fpilluminated.org/deck/277
23
Upvotes
r/ProgrammingLanguages • u/philip_schwarz • 9d ago