The road! Goes ever on

Informal discussions about 'The Road' ;)

G∀min∃ Semantic Language Interface

a brief introduction to the G∀min∃ Semantic Language Interface

8 min read · October 20, 2024

2024 · operational semantics semantics executable models · research semantics
Multiverse Debugging

a brief introduction to multiverse debugging

4 min read · October 10, 2024

2024 · debugging · research