# PLT **URL:** https://forum.anoma.net/c/programming-language-theory/31.md [Latest](https://forum.anoma.net/latest.md) · [Categories](https://forum.anoma.net/categories.md) · [Tags](https://forum.anoma.net/tags.md) --- ## [About the PLT category](https://forum.anoma.net/t/about-the-plt-category/301)
**Author:** [@cwgoes](https://forum.anoma.net/u/cwgoes)\ **Replies:** 0
This category is for discussion of programming language theory as it relates to Anoma. --- ## [Review of Nock as a VM language](https://forum.anoma.net/t/review-of-nock-as-a-vm-language/1453)
**Author:** [@Lukasz](https://forum.anoma.net/u/Lukasz)\ **Replies:** 8\ **Last updated:** [May 8, 2025, 5:27pm UTC](https://forum.anoma.net/t/review-of-nock-as-a-vm-language/1453 "2025-05-08T17:27:21Z")
For about a month, I’ve been carving out time to write up a review of Nock. The opinions expressed here are mine and mine only, but I think I won’t be wrong to say that the general conclusion reflects the experience of t… --- ## [LambdaDays2025 Report](https://forum.anoma.net/t/lambdadays2025-report/1630)
**Author:** [@Lukasz](https://forum.anoma.net/u/Lukasz)\ **Replies:** 0\ **Last updated:** [June 18, 2025, 6:36pm UTC](https://forum.anoma.net/t/lambdadays2025-report/1630 "2025-06-18T18:36:48Z")
Last week, I’ve attended the LambdaDays conference. Below, I briefly summarize some of the talks that I found interesting and I think could be of broader interest in the organization. The summaries themselves are very br… --- ## [A Graphical Approach to Concurrent Relational Programming](https://forum.anoma.net/t/a-graphical-approach-to-concurrent-relational-programming/1395)
**Author:** [@AHart](https://forum.anoma.net/u/AHart)\ **Replies:** 0\ **Last updated:** [April 4, 2025, 5:33pm UTC](https://forum.anoma.net/t/a-graphical-approach-to-concurrent-relational-programming/1395 "2025-04-04T17:33:04Z")
GraphicalLogicProg.pdf (294.7 KB) This is a side project I’ve been working on off and on for a few months. Recently, the main idea has crystallized, and I got this draft document complete enough to communicate the core … --- ## [Geb/category-theory reading group](https://forum.anoma.net/t/geb-category-theory-reading-group/833)
**Author:** [@terence](https://forum.anoma.net/u/terence)\ **Replies:** 0\ **Last updated:** [October 18, 2024, 6:23am UTC](https://forum.anoma.net/t/geb-category-theory-reading-group/833 "2024-10-18T06:23:10Z")
Geb Reading Group Syllabus Purpose This document is intended to summarize the background, especially in category theory and polynomial functors, required to understand how Geb works. It will serve as a guide to topics fo… --- ## [Arithmetizing Computable Programs Simply - Article Feedback](https://forum.anoma.net/t/arithmetizing-computable-programs-simply-article-feedback/573)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [May 17, 2024, 3:04pm UTC](https://forum.anoma.net/t/arithmetizing-computable-programs-simply-article-feedback/573 "2024-05-17T15:04:06Z")
Please use this topic to provide feedback for this article by @AHart. All comments welcome! --- ## [Formalizing Concurrent Programs; The Generalities - Article Feedback](https://forum.anoma.net/t/formalizing-concurrent-programs-the-generalities-article-feedback/524)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [April 5, 2024, 7:46pm UTC](https://forum.anoma.net/t/formalizing-concurrent-programs-the-generalities-article-feedback/524 "2024-04-05T19:46:40Z")
Please use this topic to provide feedback for this article by @AHart. All comments welcome! --- ## [Understanding and Arithmetizing Hylomorphism Traces - Article Feedback](https://forum.anoma.net/t/understanding-and-arithmetizing-hylomorphism-traces-article-feedback/493)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [March 1, 2024, 8:17pm UTC](https://forum.anoma.net/t/understanding-and-arithmetizing-hylomorphism-traces-article-feedback/493 "2024-03-01T20:17:33Z")
Please use this topic to provide feedback for this article by @AHart. All comments welcome! --- ## [ART report: ZKVMs](https://forum.anoma.net/t/art-report-zkvms/390)
**Author:** [@alberto](https://forum.anoma.net/u/alberto)\ **Replies:** 4\ **Last updated:** [December 8, 2023, 10:51am UTC](https://forum.anoma.net/t/art-report-zkvms/390 "2023-12-08T10:51:01Z")
Despite the ZKVM report not being finished, feedback is already welcome --- ## [Relevant open research questions in PLT & compilers](https://forum.anoma.net/t/relevant-open-research-questions-in-plt-compilers/62)
**Author:** [@cwgoes](https://forum.anoma.net/u/cwgoes)\ **Replies:** 0\ **Last updated:** [May 27, 2023, 7:50pm UTC](https://forum.anoma.net/t/relevant-open-research-questions-in-plt-compilers/62 "2023-05-27T19:50:46Z")
I’m curating a list of open research questions related to Anoma’s PLT subcomponents. Feel free to respond with anything relevant; I’ll edit the top post to keep it up-to-date. What is the optimisation space for through-… --- ## [Sketch of a possible VampIR VM](https://forum.anoma.net/t/sketch-of-a-possible-vampir-vm/112)
**Author:** [@cwgoes](https://forum.anoma.net/u/cwgoes)\ **Replies:** 34\ **Last updated:** [October 6, 2023, 8:45pm UTC](https://forum.anoma.net/t/sketch-of-a-possible-vampir-vm/112 "2023-10-06T20:45:10Z")
Background This is a rough sketch of what a “VampIR VM” might look like. Goals of this VM design: Abstract (not tied to a specific proof system) Minimal (no more complexity than necessary) Clean separation of semantic… --- ## [Minimum viable stack machine](https://forum.anoma.net/t/minimum-viable-stack-machine/168)
**Author:** [@cwgoes](https://forum.anoma.net/u/cwgoes)\ **Replies:** 3\ **Last updated:** [August 3, 2023, 2:40pm UTC](https://forum.anoma.net/t/minimum-viable-stack-machine/168 "2023-08-03T14:40:15Z")
Let’s try this again, for now with infinite fields for simplicity, then we can map to finite ones. One element type: F. F has: Addition Additive inverse Multiplication Multiplicative inverse Additive identity Multipli…