4 ms·
It’s great to see Johannes experimenting with tree calculus, and making explicit the possibilities which are merely implicit in my book GitHub.com/barry-jay-per
by barryjay 2y ago
It’s great to see Johannes experimenting with tree calculus, and making explicit the possibilities which are merely implicit in my book GitHub.com/barry-jay-personal/tree-calculus/tree_book.pdf Now that (finally) there is a typed tree calculus I have started blogging (all at GitHub.com/barry-jay-personal)
- GregarianChild 2y agoI'm very interested in the "Typed Program Analysis Without Encodings" paper. But I can't seem to find it online. Where do you suggest I look for it?
- FranchuFranchu 2y agoI'm not Barry Jay, but I found it here: https://github.com/barry-jay-personal/typed_tree_calculus/blob/main/typed_program_analysis.pdf https://github.com/barry-jay-personal/typed_tree_calculus/bl...
- cemerick 2y agoA working link to the book is: https://github.com/barry-jay-personal/tree-calculus/blob/master/tree_book.pdf https://github.com/barry-jay-personal/tree-calculus/blob/mas... (look for the download button on the right)