| Autor(en): | Odersky, Martin; Boruch-Gruszecki, Aleksander; Lee, Edward; Lhoták, Ondřej; Brachthäuser, Jonathan | |
| Tübinger Autor(en): |
|
|
| Erscheinungsjahr: | 2022-07-22 | |
| Verlagsangabe: | arXiv | |
| Sprache: | Englisch | |
| Referenz zum Volltext: | https://doi.org/10.48550/arXiv.2207.03402 | |
| DDC-Klassifikation: | 004 - Informatik | |
| Dokumentart: | Preprint | |
| Zur Langanzeige |