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...
Scripta materialia, 2022-03, Vol.210, p.114450, Article 114450
2022
Volltextzugriff (PDF)




Journal of college student retention : Research, theory & practice, 2015-11, Vol.17 (3), p.336-350
2015
Volltextzugriff (PDF)

Open Access
A Low-Level Look at A-Normal Form
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.165-191, Article 277
2024
Volltextzugriff (PDF)









Compiling with Dependent Types
2019
Volltextzugriff (PDF)


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



SIGPLAN notices, 2018-12, Vol.53 (4), p.797-811
2018
Volltextzugriff (PDF)



Noninterference for free
SIGPLAN notices, 2015-12, Vol.50 (9), p.101-113
2015
Volltextzugriff (PDF)

Profile-guided meta-programming
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.403-412
2015
Volltextzugriff (PDF)

Meeting abstracts (Electrochemical Society), 2017-09, Vol.MA2017-02 (28), p.1199-1199
2017
Volltextzugriff (PDF)
Aktive Filter
KollektionCambridge Journals Online (DEFF)
KollektionEbook Central Perpetual and DDA
ThemaMiddle Aged
ThemaScience & Technology
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n