Our paper Program Adverbs and Tlön Embeddings has been conditionally accepted at ICFP 2022! Our reviewers have some great suggestions for improving our paper, so we'll announce the preprint after we incorporate those changes.

Anxiously waiting for ICFP reviews...


Hello, people on Mastodon! I'm new to this platform and still figuring things out.
My name is Yao Li (李垚). I am a researcher on programming languages/formal verification/interactive theorem proving. I am currently a Ph.D. candidate at Penn and an incoming assistant professor at Portland State University (Fall '22). Always happy to chat with people about research or general things about programming languages/functional programming/program verification.

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.