Interactive Programming Articles

Page 1 of 1 (1 article)

2/2/2025 • EN

Choose Your Own Adventure Calculus

Explores a recurring pattern in programming systems where users iteratively choose options to build code, proposing a 'choose-your-own-adventure calculus' abstraction.

code generation Coeffects Interactive Programming programming languages type systems

Tomas Petricek

Interactive Programming Articles

Choose Your Own Adventure Calculus

Select Language