Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
agnishom
on Dec 10, 2024
|
parent
|
context
|
favorite
| on:
Tree Calculus
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
on Dec 10, 2024
[–]
See the Coq proofs in
https://github.com/barry-jay-personal/tree-calculus/
for the pre-typed tree content as well.
agnishom
on Dec 11, 2024
|
parent
[–]
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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
I was inclined to think that Barry Jay is some kind of crackpot