4 ms·
Barry Jay's got an upcoming paper at PEPM regarding typed tree calculus. Good read too.
by chewxy 2y ago
Barry Jay's got an upcoming paper at PEPM regarding typed tree calculus. Good read too.
- agnishom 2y agoI googled that, and I found that it is a sister conference of POPL: https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-Program-Analysis-Without-Encodings https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-... I was inclined to think that Barry Jay is some kind of crackpot
- justosophy 2y agoSee the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
- agnishom 2y agoIt's a good thing there are Coq proofs. However, I would still like to see the paper though. A paper is supposed to be more than just a syntactic theory. Typically there is some motivation included as well.