Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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 e4
2019
Volltextzugriff (PDF)

Open Access
Gradual type theory
Journal of functional programming, 2021-01, Vol.31, Article e21
2021
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-32
2020
Volltextzugriff (PDF)

Open Access
Call-by-name Gradual Type Theory
Logical methods in computer science, 2020-01, Vol.16, Issue 1
2020
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2022-06, Vol.360
2022
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2018-07, Vol.2 (ICFP), p.1-30
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2020-05, Vol.317
2020
Volltextzugriff (PDF)

Open Access
Gradual Typing for Effect Handlers
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1758-1786, Article 284
2023
Volltextzugriff (PDF)

Open Access
Gradual type theory
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31
2019
Volltextzugriff (PDF)

Science of computer programming, 2018-10, Vol.164, p.49-65
2018
Volltextzugriff (PDF)

Fair enumeration combinators
Journal of functional programming, 2017-01, Vol.27, Article e19
2017
Volltextzugriff (PDF)

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.103-116
2016
Volltextzugriff (PDF)

Open Access
Is sound gradual typing dead?
SIGPLAN notices, 2016-04, Vol.51 (1), p.456-468
2016
Volltextzugriff (PDF)

SIGPLAN notices, 2016-12, Vol.51 (9), p.103-116
2016
Volltextzugriff (PDF)

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.117-131
2016
Volltextzugriff (PDF)

SIGPLAN notices, 2016-12, Vol.51 (9), p.117-131
2016
Volltextzugriff (PDF)


Open Access
Acetaminophen Ingestion Turns Toxic
Indian Journal of Emergency Medicine, 2023-09, Vol.9 (3), p.123-126
2023
Volltextzugriff (PDF)

Indian Journal of Emergency Medicine, 2023-09, Vol.9 (3), p.107-109
2023
Volltextzugriff (PDF)

Indian Journal of Emergency Medicine, 2017, Vol.3 (2), p.275-277
2017
Volltextzugriff (PDF)

Indian Journal of Emergency Medicine, 2023-12, Vol.9 (4), p.235-237
2023
Volltextzugriff (PDF)

Indian Journal of Emergency Medicine, 2023-09, Vol.9 (3), p.115-117
2023
Volltextzugriff (PDF)


European Endocrinology, 2020-10, Vol.16 (2), p.88-91
2020
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt