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...
Journal of reconstructive microsurgery OPEN, 2023-01, Vol.8 (1), p.e54-e59
2023
Volltextzugriff (PDF)


I Got Plenty o' Nuttin'
A List of Successes That Can Change the World, 2016, Vol.9600, p.207-233
2016
Volltextzugriff (PDF)


Open Access
Dependently typed programming
Progress in informatics, 2013-03 (10), p.149
2013
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, Vol.9600, p.169-186
2016
Volltextzugriff (PDF)

Advanced Functional Programming, 2005, p.130-170
1ère éd, 2005
Volltextzugriff (PDF)

Open Access
The Essence of Dependent Object Types
A List of Successes That Can Change the World, 2016, Vol.9600, p.249-272
2016
Volltextzugriff (PDF)

Journal of pediatric orthopaedics, 2020-02, Vol.40 (2), p.e122-e126
2020
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, Vol.9600, p.318-335
2016
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, Vol.9600, p.459-478
2016
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, Vol.9600, p.95-108
2016
Volltextzugriff (PDF)

Preface
Journal of functional programming, 2009-07, Vol.19 (3-4), p.263-264
2009
Volltextzugriff (PDF)

Preface
Journal of functional programming, 2009-07, Vol.19 (3-4), p.263
2009
Volltextzugriff (PDF)

Preface
Journal of functional programming, 2009-07, Vol.19 (3-4), p.263-264
2009
Volltextzugriff (PDF)

Open Access
Conflation Confers Concurrency
A List of Successes That Can Change the World, 2016, Vol.9600, p.32-55
2016
Volltextzugriff (PDF)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, Vol.LNCS 4502, p.93-109
2007
Volltextzugriff (PDF)

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, 2013, p.197-208
2013
Volltextzugriff (PDF)

A Reflection on Types
A List of Successes That Can Change the World, 2016, Vol.9600, p.292-317
2016
Volltextzugriff (PDF)

Reflections on Monadic Lenses
A List of Successes That Can Change the World, 2016, Vol.9600, p.1-31
2016
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, Vol.9600, p.388-410
2016
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.236-253
2006
Volltextzugriff (PDF)

A List of Successes That Can Change the World, 2016, p.132-151
2016
Volltextzugriff (PDF)

Open Access
Proof-Relevant Parametricity
A List of Successes That Can Change the World, 2016, Vol.9600, p.109-131
2016
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.521-540
2006
Volltextzugriff (PDF)
Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n