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...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
CHAN, JONATHAN
Artikel
Is sized typing for Coq practical
Titel
Journal of functional programming
Band
33
Verlag
Cambridge Univ. Press
Ort
Cambridge
Erscheinungsjahr
2023
Identifikatoren
ISSN: 0956-7968; eISSN: 1469-7653
Volltextzugriff (PDF)