Ingo Skupin

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Original Version

Probability Distribution

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR (2024)
David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Data-Codata Symmetry and its Interaction with Evaluation Order. CoRR (2022)
David Binder, Ingo Skupin, David Läwen, Klaus Ostermann
Structural refinement types. TyDe@ICFP (2022)
Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6 (ICFP) (2022)
David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann
Decomposition diversity with symmetric data and codata. Proc. ACM Program. Lang. 4 (POPL) (2020)