New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

(Subset of) Input langugae to (enriched) lambda calculus translator #13

Open

gsvgit opened this issue Sep 6, 2024 · 1 comment

Labels

lang-fe software

Milestone

Member

gsvgit commented Sep 6, 2024

No description provided.

gsvgit added software lang-fe labels

gsvgit modified the milestones: Stage2, Stage3, SW_Stage2

Member

WoWaster commented Nov 8, 2024

Bunch of related projects & papers:
Language to program in terms of IN: https://github.com/inpla/inpla + https://github.com/inpla/train

PhD full of links: https://www.semanticscholar.org/paper/Design-and-implementation-of-a-low-level-language-Sato/2a90cdeda15341dfe3218e9fcbfc508e7bf64818?utm_source=direct_link

Russian translation of the main Lafont's paper: https://arxiv.org/pdf/1304.1309.pdf
INs in JS from the same author: https://github.com/codedot/lambda

Interesting SO question: https://stackoverflow.com/questions/29178805/how-do-you-translate-from-lambda-terms-to-interaction-nets

CBNeed in INs: https://www.semanticscholar.org/paper/Token-Passing-Nets%3A-Call-by-Need-for-Free-Sinot/efa72fbcb4ab8157dc6b9011254432c7669d2277

Notable authors:
Ian Mackie: https://scholar.google.com/citations?hl=ru&user=6B5sAdsAAAAJ&view_op=list_works&sortby=pubdate

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment