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, Compositionality 6 1 (2024) (arXiv:2001.07488, doi:10.32408/compositionality-6-1)

category: people