Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie by Author "Skupin, Ingo"

Now showing items 1-6 of 6

Data-Codata Symmetry and its Interaction with Evaluation Order

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

Binder, David; Jabs, Julian; Skupin, Ingo; Ostermann, Klaus (2019)
Deriving Dependently-Typed OOP from First Principles

Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim (2024)
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Ostermann, Klaus; Süberkrüb, Tim; Skupin, Ingo; Binder, David (2024)
Introduction and elimination, left and right

Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim; Downen, Paul (2022)
Structural refinement types

Binder, David; Skupin, Ingo; Läwen, David; Ostermann, Klaus (2022)

Now showing items 1-6 of 6

Report a Publication

Help

Browse

All of DSpace
This Community

My Account

Login