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
Is sized typing for Coq practical?
Journal of functional programming, 2023-01, Vol.33, Article e1
2023
Volltextzugriff (PDF)

Journal of functional programming, 2022-01, Vol.32, Article e12
2022
Volltextzugriff (PDF)



Matter, 2024-08, Vol.7 (8), p.2753-2755
2024
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2395-2424, Article 80
2024
Volltextzugriff (PDF)

Open Access
Dependent type systems as macros
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)



Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-33
2018
Volltextzugriff (PDF)






Meeting abstracts (Electrochemical Society), 2017-09, Vol.MA2017-02 (28), p.1199-1199
2017
Volltextzugriff (PDF)





Aktive Filter
KollektionEbook Central Perpetual and DDA
KollektionEZB Electronic Journals Library
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n