Programming languages and systems 21st Asian symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings
Types.- Compilation Semantics for a Programming Language with Versions.- What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study.- Types and Semantics for Extensible Data Types.- Functional Languages.- A Diamond Machine for Strong Evaluation.- Proofs as Terms, Terms as Graph...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Singapore
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14405 |
| Schlagworte: |
Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Compilers
> COMPUTERS / Machine Theory
> COMPUTERS / Programming Languages / General
> Compiler und Übersetzer
> Compilers
> Künstliche Intelligenz
> Mathematical theory of computation
> Programmier- und Skriptsprachen, allgemein
> Programming & scripting languages: general
> Theoretische Informatik
> Konferenzschrift
|
| Online Zugang: | Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
Keine Ergebnisse!