conf.researchr.org / Jan Bessai
Registered user since Mon 14 Jun 2021
Name:Jan Bessai
Country:Germany
Affiliation:Independent
Personal website: https://noprotocol.net/jan/
GitHub: https://github.com/JanBessai
Research interests:Type Theory, Intersection Types, Synthesis, Programming
Contributions
2022
Unsound
2021
ECOOP
- Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Artifacts-track
- Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Technical Papers-track