top | item 42373892 (no title) chewxy | 1 year ago Barry Jay's got an upcoming paper at PEPM regarding typed tree calculus. Good read too. discuss order hn newest agnishom|1 year 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 justosophy|1 year ago See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well. load replies (1)
agnishom|1 year 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 justosophy|1 year ago See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well. load replies (1)
justosophy|1 year ago See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well. load replies (1)
agnishom|1 year ago
I was inclined to think that Barry Jay is some kind of crackpot
justosophy|1 year ago