Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Documenti analoghi

• Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
  di: Liesnikov, Bohdan, et al.
  Pubblicazione: (2025)
• Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
  di: Steevens, Maarten, et al.
  Pubblicazione: (2026)
• MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
  di: Lauwaerts, Tom, et al.
  Pubblicazione: (2025)
• The Algebra of Patterns (Extended Version)
  di: Binder, David, et al.
  Pubblicazione: (2025)
• Grokking the Sequent Calculus (Functional Pearl)
  di: Binder, David, et al.
  Pubblicazione: (2024)