Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.511-540, Article 206
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.695-723, Article 24
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-28
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-30
2018
Volltextzugriff (PDF)
Information and computation, 2016-08, Vol.249, p.160-189
2016
Volltextzugriff (PDF)
Programming Languages and Systems, p.727-751
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, p.375-390
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2015-05, Vol.50 (1), p.637-650
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.736-761
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.637-650
2015
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.179-195
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.769-782
2018
Volltextzugriff (PDF)
Implementation and Application of Functional Languages, p.72-88
Volltextzugriff (PDF)
Interactive Theorem Proving, p.22-38
Volltextzugriff (PDF)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.18-32
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2018-12, Vol.53 (4), p.769-782
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2016-12, Vol.51 (9), p.18-32
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Algebraic Effect
- Programming Languages
- Separation Logic
- Software And Its Engineering
- Theory Of Computation
- General Programming Languages
- Logical Relation
- Operational Semantic
- Operational Semantics
- Parallel Programming Languages
- Row Polymorphism
- Software And Its Engineering -- Software Notations And Tools -- Formal Language Definitions
- Software Notations And Tools
- Theory Of Computation -- Formal Languages And Automata Theory
- Abstract Machine
Kollektion