Albert Schimpf

Orcid: 0009-0009-4172-5730

According to our database¹, Albert Schimpf authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation.

[BibT_eX]

[DOI]

Albert Schimpf

Stefan Wehr

Annette Bieniusa

CoRR, March, 2026

2025

Semantic Subtyping for Maps in Erlang.

[BibT_eX]

[DOI]

CoRR, August, 2025

2024

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

[BibT_eX]

[DOI]

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

2022

Set-theoretic Types for Erlang.

[BibT_eX]

[DOI]

Albert Schimpf

Stefan Wehr

Annette Bieniusa

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

Albert Schimpf

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...