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, 2021-08, Vol.5 (ICFP), p.1-28
2021
Volltextzugriff (PDF)
Journal of functional programming, 2007-01, Vol.17 (1), p.1-82
2007
Volltextzugriff (PDF)
Journal of functional programming, 2010-03, Vol.20 (2), p.175-210
2010
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.649-685, Article 210
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.312-342
2022
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.50-65
2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-02, Vol.76 (Proc. MSFP 2012), p.25-39
2012
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1298-1325, Article 44
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-32
2021
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20160331-20160331
2017
Volltextzugriff (PDF)
Programming Languages and Systems, 2016, Vol.9632, p.419-445
2016
Volltextzugriff (PDF)
Progress in informatics, 2013-03 (10), p.149
2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-02, Vol.76 (Proc. MSFP 2012), p.112-162
2012
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.1108-1134, Article 310
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.30-63, Article 237
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-12, Vol.43 (Proc. PAR 2010), p.76-93
2010
Volltextzugriff (PDF)
Journal of functional programming, 2021, Vol.31, Article e5
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29
2019
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.1-24
2017
Volltextzugriff (PDF)
Functional and Logic Programming, 2012, p.3-3
2012
Volltextzugriff (PDF)
Journal of functional programming, 2016-01, Vol.26, Article e15
2016
Volltextzugriff (PDF)
Journal of functional programming, 2008-01, Vol.18 (1), p.87-140
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Haskell
- Dependent Types
- Theory Of Computation -- Semantics And Reasoning -- Program Constructs -- Type Structures
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Software
- Theoretical Computing
- Type Inference
- Functional Programming
- Theory Of Computation
- Coq
- Language Theory And Syntactical Analysis
- Mathematics Of Computing -- Continuous Mathematics -- Calculus -- Lambda Calculus
Kollektion
- Association for Computing Machinery
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- Open access e-journals
- Cambridge Journals Online (DEFF)
- SpringerLink Series
- Journals@Ovid Full Text
- Elsevier ScienceDirect Journals Collection
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- IngentaConnect Journals
- springer (창간호~2014)
- JSTOR
- Business Source Ultimate
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- IEEE/IET Electronic Library
- Nature_系列刊
- Sage Journals
Zeitschrift / Serie
- Sigplan Notices
- Journal Of Functional Programming
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Journal Of Automated Reasoning
- Plos One
- Progress In Informatics
Neu hinzugefügt