Auflistung nach Autor "Binder, David"

Anzeige der Dokumente 1-8 von 8

Data-Codata Symmetry and its Interaction with Evaluation Order

Ostermann, Klaus; Binder, David; Skupin, Ingo; Jabs, Julian (2022-11-23)
Decomposition diversity with symmetric data and codata

Binder, David; Jabs, Julian; Skupin, Ingo; Ostermann, Klaus (2019-12)
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Ostermann, Klaus; Skupin, Ingo; Binder, David (2024-03-11)
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Brachthäuser, Jonathan Immanuel; Binder, David (2023-10)
Introduction and elimination, left and right

Ostermann, Klaus; Binder, David; Skupin, Ingo (2022-08-31)
Popper's Notion of Duality and His Theory of Negations

Binder, David; Piecha, Thomas (2017)
Structural refinement types

Binder, David; Skupin, Ingo; Ostermann, Klaus (2022-09-06)
The Logical Writings of Karl Popper

Binder, David; Schroeder-Heister, Peter; Piecha, Thomas (2022-07-07)

Anzeige der Dokumente 1-8 von 8

Stöbern