Sortiert nach
Journal of functional programming, 2021-01, Vol.31, Article e2
2021
Volltextzugriff (PDF)
Functional and Logic Programming, p.124-138
Volltextzugriff (PDF)
Journal of functional programming, 2021, Vol.31, Article e29
2021
Volltextzugriff (PDF)
Journal of functional programming, 2021-01, Vol.31, Article e31
2021
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.2-20
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.289-313
2004
Volltextzugriff (PDF)
Programming Languages and Systems, p.74-88
Volltextzugriff (PDF)
Science of computer programming, 2014-12, Vol.95, p.147-148
2014
Volltextzugriff (PDF)
Mathematics of Program Construction, 2019, Vol.11825, p.18-44
2019
Volltextzugriff (PDF)
Journal of functional programming, 2009-09, Vol.19 (5), p.545-579
2009
Volltextzugriff (PDF)
Science of computer programming, 2015-02, Vol.98, p.484-515
2015
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.879-905
2016
Volltextzugriff (PDF)
Higher-Order and Symbolic Computation, 2008-06, Vol.21 (1-2), p.89-118
2008
Volltextzugriff (PDF)
Journal of functional programming, 2015-01, Vol.25, Article e22
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.448-467
Volltextzugriff (PDF)
Science of computer programming, 2004-05, Vol.51 (1), p.87-116
2004
Volltextzugriff (PDF)
Functional and Logic Programming, 2018, Vol.10818, p.68-83
2018
Volltextzugriff (PDF)
Networked Systems, p.421-438
Volltextzugriff (PDF)
Lecture notes in computer science, 2008, Vol.5133/2008, p.268-283
2008
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.265-282
2003
Volltextzugriff (PDF)
Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 2015, p.82-93
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.159-175
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.340-356
2006
Volltextzugriff (PDF)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.158-167
2016
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2012-08, Vol.81 (6), p.680-704
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Program Derivation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Female
- Software
- Life Sciences & Biomedicine
- Animals
- Ducks - Genetics
- Galois Connection
- Mathematics
- Agriculture
- Agriculture, Dairy & Animal Science
- Functional Programming
- Humans
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- ACM Digital Library
- MEDLINE
- Cambridge Journals Online (DEFF)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Springer Online Journals
- Journals@Ovid Ovid Full Text
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Wiley Online Library
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Journal Of Functional Programming
- Acta Paediatrica Taiwanica
- Acta Paediatrica Taiwanica = Taiwan Er Ke Yi Xue Hui Za Zhi
- Science Of Computer Programming
- Sigplan Notices
- Genetics Selection Evolution
- Higher-Order And Symbolic Computation
- Information And Media Technologies
- Acm Sigplan Notices
- Animal Reproduction Science
Neu hinzugefügt