# Concatenative Programming

- [Why Concatenative Programming Matters](http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html) -- Jon Purdy, 2012
- [The Theory of Concatenative Combinators](http://tunes.org/~iepos/joy.html) -- Brent Kerby, 2002 (2007 update)
- [Joy: Forth's Functional Cousin](http://www.complang.tuwien.ac.at/anton/euroforth/ef01/thomas01a.pdf) -- Manfred von Thun, 2001
- [A Conversation between Stevan Apter and Manfred von Thun](http://archive.vector.org.uk/art10000350) -- Stevan Apter (APL) and Manfred von Thun, 2004
- [Reproducing Programs Implement Lazy Lists](https://www.kevinalbrecht.com/code/joy-mirror/jp-reprod.html) -- Manfred von Thun, 2005
- [Linear logic and permutation stacks—the Forth shall be first](https://dl.acm.org/doi/10.1145/181993.181999) -- Henry Baker

# Broader Computer Science Topics

- (To read, referenced in "Linear logic and permutation stacks" above) "Linear Logic -- Girard 87"

# Compilers

- [Lessons from Writing a Compiler](https://borretti.me/article/lessons-writing-compiler) -- Fernando Borretti

# Stack Machine as a Platform

- [Java Virtual Machine Specification](https://cr.openjdk.java.net/~iris/se/17/latestSpec/java-se-17-jvms-fr-diffs.pdf) (JDK 17)
  - [Java Factor](https://concatenative.org/wiki/view/Factor/Java%20Factor)
- [Python behind the scenes #1: how the CPython VM works](https://tenthousandmeters.com/blog/python-behind-the-scenes-1-how-the-cpython-vm-works)