Es ist ein Fehler in der Kommunikation mit einem externen System aufgetreten. Bitte versuchen Sie Ihre letzte Aktion erneut. Sollte der Fehler bestehen bleiben, setzen Sie sich bitte mit dem Informationszentrum der Bibliothek in Verbindung oder versuchen Sie es später erneut.
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)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Journal of functional programming, 2017-01, Vol.27, p.1-34, Article e7
2017
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
SIGPLAN notices, 2013-09, Vol.48 (9), p.145-158
2013
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.525-534
2016
Volltextzugriff (PDF)
Philosophy of science, 2014-10, Vol.81 (4), p.592-611
2014
Volltextzugriff (PDF)
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-29
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.61-89, Article 3
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-30
2018
Volltextzugriff (PDF)
Programming Languages and Systems, 2022, Vol.13658, p.3-24
2022
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2018-12, Vol.341, p.239-260
2018
Volltextzugriff (PDF)
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Volltextzugriff (PDF)
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, 2013, p.145-158
2013
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, 2011, p.1-18
2011
Volltextzugriff (PDF)
SIGPLAN notices, 2012-01, Vol.47 (1), p.349-360
2012
Volltextzugriff (PDF)
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2012, p.349-360
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Denotational Semantics
- Monads
- Computer Science, Theory & Methods
- Computational Effects
- Algebraic Effects
- Call-By-Push-Value
- Compiler Optimisations
- Domain Theory
- Logic
- Science & Technology - Other Topics
- Algebra
- Algebraic Theory Of Effects
- Bayesian Inference
- Code Transformations
- Continuations
- Effect Handlers
Kollektion
- ACM Digital Library
- EZB Electronic Journals Library
- IEEE Xplore
- IngentaConnect
- Cambridge Journals Online (DEFF)
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- JSTOR
- Elsevier ScienceDirect Journals
- University of Chicago Press Journals (Full run)