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...
Open Access
Gradual typing: a new perspective
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-32
2019
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Volltextzugriff (PDF)

Open Access
Revisiting occurrence typing
Science of computer programming, 2022-05, Vol.217 (102781), p.102781, Article 102781
2022
Volltextzugriff (PDF)

Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, p.1-12
2019
Volltextzugriff (PDF)