David Binder - RankMe

16 papers A 1Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments. CoRR Bohdan Liesnikov, David Binder, Tim Süberkrüb
2025	J	`jnl`	Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments. Art Sci. Eng. Program. Bohdan Liesnikov, David Binder, Tim Süberkrüb
2025	J	`jnl`	The Algebra of Patterns (Extended Version). CoRR David Binder, Lean Ermantraut
2025	J	`jnl`	The Algebra of Patterns - Rocq Proofs (Artifact). Dagstuhl Artifacts Ser. David Binder, Lean Ermantraut
2025	A	`conf`	The Algebra of Patterns. ECOOP David Binder, Lean Ermantraut
2024	J	`jnl`	Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
2024	J	`jnl`	Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
2024	J	`jnl`	Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. CoRR Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2024	J	`jnl`	Grokking the Sequent Calculus (Functional Pearl). CoRR David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann
2024	J	`jnl`	Grokking the Sequent Calculus (Functional Pearl). Proc. ACM Program. Lang. David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann
2024	—	`—`	Programming with Symmetric Data and Codata Types. David Binder
2023	J	`jnl`	Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. Proc. ACM Program. Lang. Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser
2022	J	`jnl`	Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
2022	J	`jnl`	Introduction and elimination, left and right. Proc. ACM Program. Lang. Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen
2022	—	`conf`	Structural refinement types. TyDe@ICFP David Binder, Ingo Skupin, David Läwen, Klaus Ostermann
2020	J	`jnl`	Decomposition diversity with symmetric data and codata. Proc. ACM Program. Lang. David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann