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 functional programming, 2018, Vol.28, Article e1
2018
Volltextzugriff (PDF)

Open Access
More Fixpoints! (Functional Pearl)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.686-710, Article 211
2023
Volltextzugriff (PDF)

Call Arity
Computer languages, systems & structures, 2018-06, Vol.52, p.65-91
2018
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2018-02, Vol.265, p.1-1
2018
Volltextzugriff (PDF)

Interactive Theorem Proving, p.123-139
Volltextzugriff (PDF)


Israel journal of mathematics, 2012-10, Vol.191 (2), p.545-557
2012
Volltextzugriff (PDF)

Israel journal of mathematics, 2012-09, Vol.191 (2), p.545-557
2012
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-15
2017
Volltextzugriff (PDF)


Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018, p.14-25
2018
Volltextzugriff (PDF)

2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, p.37-52
2017
Volltextzugriff (PDF)

Progress in Cryptology - AFRICACRYPT 2023, p.273-284
Volltextzugriff (PDF)

Call Arity
Trends in Functional Programming, 2014, Vol.8843, p.34-50
2014
Volltextzugriff (PDF)

Open Access
Safe zero-cost coercions for Haskell
Journal of functional programming, 2016-01, Vol.26, Article e15
2016
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1559-1584, Article 210
2024
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.417-447, Article 203
2023
Volltextzugriff (PDF)

Journal of computer security, 2018-01, Vol.26 (3), p.335
2018
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-16
2018
Volltextzugriff (PDF)

Journal of computer security, 2018-04, Vol.26 (3), p.335-366
2018
Volltextzugriff (PDF)

Journal of functional programming, 2017-01, Vol.27, p.1-55, Article e11
2017
Volltextzugriff (PDF)

Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 2015, p.35-46
2015
Volltextzugriff (PDF)


Demo: kaleidogen
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, 2019, p.49-51
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n