Sortiert nach
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-28
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-30
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2018-07, Vol.2 (ICFP), p.1-29
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.2023-2051, Article 293
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-29
2022
Link zum Volltext
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.1-15
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Program Synthesis
- Bidirectional Programming
- Type-Directed Synthesis
- Safety, Risk, Reliability And Quality
- Software
- Type Systems
- Abstract Data Types
- Angelic Execution
- Computer Science, Theory & Methods
- Domain Specific Languages
- Grammar Induction
- Grammars And Context-Free Languages
- Information Theory
- Lenses
- Logical Relations
- Logical Specifications
Zeitschrift / Serie