maemre
...joined 11 years ago, and has 187 karma
submissions / comments / favourites
I teach and do research in programming languages. Feel free to reach me if you want to discuss any ideas about program analysis, safety, compilers, etc. (I use the same handle on twitter and the types.pl mastodon)
https://maemre.com