Albert Schimpf

According to our database, Albert Schimpf authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang.

Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2022

Set-theoretic Types for Erlang.

Albert Schimpf, Stefan Wehr, Annette Bieniusa

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022