3 ms·How to make your papers run: Executable formal semantics for your language2 points by anentropic 7y ago