Login / Signup

Set-theoretic Types for Erlang.

Albert SchimpfStefan WehrAnnette Bieniusa
Published in: CoRR (2023)
Keyphrases
  • set theoretic
  • image recovery