User:Lemastero
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
I love math that relates to software development.
- Category Theory: my wiki about CT in Scala, contribs to Scalaz and Cats, nlab changes
- Type Theory especially (Dependent Type Theory, HoTT) - small improvements in cohomolo-gy/haskell-resources, https://steshaw.org/plt/
- approaches to concurrency/parallelism: my collection of links, activity in monix/streaming-benchmarks, zio
- algebraic effects: contribs to yallop/effects-bibliography
- Proof Theory in Coq, Agda (I've added links about Univalent Foundations workshops and recent courses on Agda)
- different flavors of logic (modal, temporal, linear)
- mixing all of above: My collection of resources around Curry-Howard Isomorphism/Computational Trinitarianism, Category Theory, Type Theory, HoTT, Cubical TT, UF, Proof Theory and Haskell
- Haskell: my work on Haskell wiki
Talks: