Sortiert nach
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.566-603, Article 208
2023
Link zum Volltext
Mathematics of Program Construction, 2022, p.222-267
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29
2021
Link zum Volltext
Journal of functional programming, 2016, Vol.26
2016
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1663-1695, Article 56
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30
2021
Link zum Volltext
International journal of medical informatics (Shannon, Ireland), 2017-09, Vol.105, p.130-135
2017
Link zum Volltext
Journal of functional programming, 2016, Vol.26, Article e1
2016
Link zum Volltext
Mathematics of Program Construction, 2015, p.302-322
2015
Link zum Volltext
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-30
2020
Link zum Volltext
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.1-47, Article 189
2023
Link zum Volltext
Trends in Functional Programming, 2023, Vol.13401, p.169-191
2023
Link zum Volltext
Trends in Functional Programming, 2023, Vol.13401, p.144-168
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.902-930
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.496-511
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.381-410
2022
Link zum Volltext
Formal aspects of computing, 2014-11, Vol.26 (6), p.1231-1269
2014
Link zum Volltext
Trends in Functional Programming, 2023, Vol.13401, p.39-58
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2018-07, Vol.2 (ICFP), p.1-30
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.137-164
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-30
2022
Link zum Volltext
Mathematics of Program Construction, 2022, Vol.13544, p.129-150
2022
Link zum Volltext
Trends in Functional Programming, 2023, Vol.13401, p.126-143
2023
Link zum Volltext
Trends in Functional Programming, 2023, Vol.13401, p.59-79
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Electronic Journals Library
- Ingenta
- Journals@Ovid Ovid Full Text
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Wiley Blackwell Single Titles
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Nature - Journals : Nature ; Nature Climate Change
- SpringerLink
- IEEE Electronic Library Online
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Nexis
- Oxford Journals
- Springer Books
- ACM Digital Library
Zeitschrift / Serie
Neu hinzugefügt