2 papers
cs.PL2026
Mechanizing Choreographic Programs and Hoare Logic with State Transformers
Timon Böhler, Simon Daniel, David Richter +2
Choreographic programming is a programming model for developing distributed applications where an entire communication protocol is written as a single program, which a compiler the…
cs.PL2026
Extended Abstract: From Pattern Unification Towards Pattern Matching Unification
David Richter, Timon Böhler
We revisit the role of higher-order unification in dependently typed languages and identify a fundamental limitation of existing pattern-based fragments: their inability to synthes…