6 ms·
I'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?
by GregarianChild 2y ago
I'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...