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...

Open Access
Is sized typing for Coq practical?
Journal of functional programming, 2023-01, Vol.33, Article e1
2023
Link zum Volltext


Journal of functional programming, 2022-01, Vol.32, Article e12
2022
Link zum Volltext






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

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





Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-33
2018
Link zum Volltext


Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.797-811
2018
Link zum Volltext

Noninterference for free
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.101-113
2015
Link zum Volltext

SIGPLAN notices, 2016-12, Vol.51 (9), p.103-116
2016
Link zum Volltext

Profile-guided meta-programming
SIGPLAN notices, 2015-08, Vol.50 (6), p.403-412
2015
Link zum Volltext

American journal of public health (1971), 2023-10, Vol.113 (10), p.1102-1105
2023
Link zum Volltext


IEEE transactions on instrumentation and measurement, 2022, Vol.71, p.1-11
2022
Link zum Volltext

Aktive Filter
KollektionEbook Central Perpetual and DDA
Zeitschrift / SerieThe Astrophysical Journal
ThemaChemistry
ThemaFemale
ThemaMiddle Aged
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt