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...
The EDSL's Struggle for Their Sources
Central European Functional Programming School, 2015, Vol.8606, p.300-335
2015
Volltextzugriff (PDF)

Acta cybernetica (Szeged), 2008-01, Vol.18 (3), p.403
2008
Volltextzugriff (PDF)

Computer Science and Information Systems, 2014, Vol.11 (4), p.1499-1514
2014
Volltextzugriff (PDF)


Central European Functional Programming School, 2008, Vol.5161, p.87-111
2008
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2011-07, Vol.264 (5), p.71-83
2011
Volltextzugriff (PDF)

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015, p.196-205
2015
Volltextzugriff (PDF)

Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, 2015, p.196-205
2015
Volltextzugriff (PDF)


Embedding a Proof System in Haskell
Central European Functional Programming School, 2011, Vol.6299, p.354-371
2011
Volltextzugriff (PDF)