Login
From:
Nomadic Labs
(Uncensored)
subscribe
A POPL 2022 Retrospective
https://research-development.nomadic-labs.com/a-popl-2022-retrospective.html
links
backlinks
Roast topics
Find topics
Find it!
A short summary of our experience at POPL, CPP and CoqPL this year.
