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...Electronic proceedings in theoretical computer science, 2023-11, Vol.396, p.1-3
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2099-2128, Article 70
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2715-2715
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.596-624
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1533-1557, Article 169
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-27
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-31
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 216
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-25
2018
Volltextzugriff (PDF)
Programming Languages and Systems, p.209-228
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014, p.269-282
2014
Volltextzugriff (PDF)
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 2022, p.13-26
2022
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, p.169-186
Volltextzugriff (PDF)
SIGPLAN notices, 2014-11, Vol.49 (9), p.269-282
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.812-836
Volltextzugriff (PDF)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.48-61
2015
Volltextzugriff (PDF)
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014, p.39-51
2014
Volltextzugriff (PDF)
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 2022, p.1-12
2022
Volltextzugriff (PDF)
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 2022, p.27-38
2022
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2018, Vol.10747, p.269-290
2018
Volltextzugriff (PDF)
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022, p.1-13
2022
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.15-30
2022
Volltextzugriff (PDF)
SIGPLAN notices, 2015-05, Vol.49 (12), p.39-51
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Refinement Types
- Computer Science, Theory & Methods
- Haskell
- Software And Its Engineering
- Software And Its Engineering -- Software Notations And Tools -- General Programming Languages
- Software And Its Engineering -- Software Verification
- Theory Of Computation
- Computer Science, Information Systems
- Dynamic Languages
- Formal Software Verification
- General And Reference -- Document Types -- Computing Standards, Rfcs And Guidelines
- Liquid Haskell
- Liquid Types
- Programming Languages
- Ruby
- Security
Kollektion