nLab Bartosz Milewski

Contact

[e-mail]

Publications

• Bartosz Milewski’s Programming Cafe.
• Profunctor optics: a categorical update
• Category Theory for Programmers

Selected writings

On categorical semantics of functional programming languages (such as for monads in computer science):

• Bartosz Milewski (compiled by Igal Tabachnik), Category Theory for Programmers, Blurb (2019) [pdf, github, webpage, ISBN:9780464243878]

• Bartosz Milewski, The Dao of Functional Programming (2023) [pdf, github]

On optics (in computer science):

• Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román, Profunctor optics, a categorical update, 2020. (arXiv:2001.07488)

category: people