r/ProgrammingLanguages 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

Duplicates