I'm very interested in the *"Typed Program Analysis Without Encodings"* paper. B... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		GregarianChild on Dec 10, 2024 \| parent \| context \| favorite \| on: Tree Calculus 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 on Dec 17, 2024 [–]

I'm not Barry Jay, but I found it here: https://github.com/barry-jay-personal/typed_tree_calculus/bl...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact