1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Grokking the Sequent Calculus (Functional Pearl)
David Binder, Marco Tzschentke, Marius Müller +1
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The λμμ-calculus is a term assignment system for the sequent calculu…
cs.PL2024
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
David Binder, Ingo Skupin, Tim Süberkrüb +1
The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees a…