Hacker News new | ask | show | jobs
by chewxy 549 days ago
Barry Jay's got an upcoming paper at PEPM regarding typed tree calculus. Good read too.
1 comments
agnishom 549 days ago
I googled that, and I found that it is a sister conference of POPL: https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...

I was inclined to think that Barry Jay is some kind of crackpot

link
justosophy 549 days ago
See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
link
agnishom 548 days ago
It'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.
link