nLab Bartosz Milewski

• email: [e-mail]

• github page

• blog: Bartosz Milewski’s Programming Cafe

• GoogleScholar page

• ResearchGate page

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