Author

A Schimpf

0 works0 citationsORCID

Recent research

AI & ComputingOpen access
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study Appendix
The appendix for the Erlang '26 paper: Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
Zenodo (CERN European Organization for Nuclear Research)2026-08-211 citationsDOI