> However in my experience, PLT is almost entirely concerned with academic research into the properties of highly-advanced type systems. The Brown PLT group [1

> However in my experience, PLT is almost entirely concerned with academic research into the properties of highly-advanced type systems. The Brown PLT group [1], responsible for the Racket programming language in particular, is a notable counterexample. But it's still a shame that I can't give any other counterexamples. (I used to joke that everything PLT but not type theory comes from the Brown PLT. It sounds no longer funny.) [1] https://cs.brown.edu/research/plt/ https://cs.brown.edu/research/plt/