Sortiert nach
Journal of functional programming, 2014-05, Vol.24 (2-3), p.384-418
2014
Link zum Volltext
SIGPLAN notices, 2012-09, Vol.47 (9), p.273-286
2012
Link zum Volltext
Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Link zum Volltext
Journal of functional programming, 2019, Vol.29, Article e17
2019
Link zum Volltext
Proceedings of ACM on programming languages, , Vol.1 (ICFP), p.1-28
Link zum Volltext
Proceedings of ACM on programming languages, 2018-10, Vol.2 (OOPSLA), p.1-29
2018
Link zum Volltext
Science of computer programming, 2021-01, Vol.201, p.102565-102565, Article 102565
2021
Link zum Volltext
Science of computer programming, 2020-08, Vol.194, p.102440, Article 102440
2020
Link zum Volltext
Proceedings of ACM on programming languages, 2017-08, Vol.1 (ICFP), p.1-2
2017
Link zum Volltext
ACM transactions on computational logic, 2003-01, Vol.4 (1), p.1-32
2003
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.335-345
Link zum Volltext
Theoretical computer science, 2007-05, Vol.375 (1), p.201-226
2007
Link zum Volltext
ACM transactions on programming languages and systems, 1996-03, Vol.18 (2), p.109-138
1996
Link zum Volltext
Advanced Functional Programming, 2005, p.24-52
2005
Link zum Volltext
SIGPLAN notices, , Vol.48 (9), p.403-416
Link zum Volltext
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012, p.273-286
2012
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.317, p.18-38
2020
Link zum Volltext
ACM transactions on programming languages and systems, 1997-11, Vol.19 (6), p.916-941
1997
Link zum Volltext
Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, 2014, p.1027-1038
2014
Link zum Volltext
Journal of functional programming, 2021-01, Vol.31, Article e20
2021
Link zum Volltext
Coordination Models and Languages, p.37-53
Link zum Volltext
Journal of functional programming, 2019, Vol.29, Article e3
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Programming Languages
- Theoretical Computing
- Functional Programming
- Lambda Calculus
- Logic
- Mathematics
- Mathematics Of Computing -- Continuous Mathematics -- Calculus -- Lambda Calculus
- Mathematics Of Computing -- Mathematical Analysis -- Calculus -- Lambda Calculus
- Software Engineering
- Haskell
- Language Theory And Syntactical Analysis
Kollektion
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Cambridge Journals Online (DEFF)
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Single Journals
- Wiley Online Library Journals Frontfile Complete
- IngentaConnect Journals
- JSTOR
- Wiley Online Library Full Collection 2018
- ProQuest Dissertations & Theses A&I
- Nexis Uni
- Journals@Ovid Full Text
- IEEE Xplore
- AMS Journals (American Mathematical Society)
Zeitschrift / Serie