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...Journal of functional programming, 2019, Vol.29, Article e15
2019
Volltextzugriff (PDF)
Journal of functional programming, 2020, Vol.30, Article e9
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2023-01, Vol.19, Issue 3
2023
Volltextzugriff (PDF)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.434-447
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-06, Vol.155 (Proc. PLACES 2014), p.9-16
2014
Volltextzugriff (PDF)
SIGPLAN notices, 2013-09, Vol.48 (9), p.145-158
2013
Volltextzugriff (PDF)
Journal of functional programming, 2024-01, Vol.34, Article e5
2024
Volltextzugriff (PDF)
Journal of functional programming, 2020, Vol.30, Article e5
2020
Volltextzugriff (PDF)
SIGPLAN notices, 2016-12, Vol.51 (9), p.434-447
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-05, Vol.294
2019
Volltextzugriff (PDF)
SIGPLAN notices, 2013-09, Vol.48 (9), p.403-416
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020-05, Vol.317
2020
Volltextzugriff (PDF)
Science of computer programming, 2020-10, Vol.197, p.102499, Article 102499
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018-07, Vol.275
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.2462-2489, Article 358
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.518-542, Article 168
2024
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.169-186
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.570-595
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024, Vol.401, p.37-48
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.485-514, Article 253
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1600-1628, Article 54
2024
Volltextzugriff (PDF)
Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, 2014, p.1027-1038
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Computer Science, Theory & Methods
- Effect Handlers
- Programming Languages
- Software And Its Engineering
- Theory Of Computation
- Algebraic Effects
- Monads
- Haskell
- Lambda Calculus
- Linear Logic
- Polymorphism
- Reduction Rule
- Session Types
- Abstract Machines
- Computation Type
Kollektion
- IngentaConnect
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- Springer Book Series
- eBooks on EBSCOhost
- EZB Free E-Journals
- Cambridge Journals Online (DEFF)
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library - AutoHoldings Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
- Taylor & Francis eBooks A-Z
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
- Journal Of Functional Programming
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- American Heart Journal Plus
- Diabetes, Obesity & Metabolism
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt