David Binder

According to our database, David Binder authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Deriving Dependently-Typed OOP from First Principles.

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

Proc. ACM Program. Lang., 2024

Grokking the Sequent Calculus (Functional Pearl).

David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann

CoRR, 2024

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

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

CoRR, 2024

2023

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference.

Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

2022

Introduction and elimination, left and right.

Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen

Proc. ACM Program. Lang., 2022

Data-Codata Symmetry and its Interaction with Evaluation Order.

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann

CoRR, 2022

Structural refinement types.

David Binder, Ingo Skupin, David Läwen, Klaus Ostermann

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

2020

Decomposition diversity with symmetric data and codata.

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann

Proc. ACM Program. Lang., 2020