Marco Paviotti
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@MartinEscardo.mathstodon.xyz.ap.brid.gy
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory […] [bridged from https://mathstodon.xyz/@MartinEscardo on the fediverse by https://fed.brid.gy/ ]
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app