Micro-Machinations - A DSL for Game Economies
No abstract available.
Related papers
- Metis: A Compositional DSL for Board Games and Game Tree Search GPCE 2026
- Formal microeconomic foundations and the first welfare theorem CPP 2018
- End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers CAV 2022
- Computer science as a school subject ICFP 2013
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees ESOP 2018
- Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers CC 2024
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Attracting Tangles to Solve Parity Games CAV 2018