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, 2016-01, Vol.26, Article e6
2016
Volltextzugriff (PDF)

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.320-332
2017
Volltextzugriff (PDF)


Implementation and Application of Functional Languages, 2011, Vol.5836, p.156-173
2011
Volltextzugriff (PDF)

Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2012, p.21-30
2012
Volltextzugriff (PDF)

Defunctionalizing push arrays
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014, p.43-52
2014
Volltextzugriff (PDF)

16th IEEE International Conference on Field-Programmable Technology (ICFPT), Melbourne, Australia, 2017, Vol.2018-January, p.112-119
2017
Volltextzugriff (PDF)

SIGPLAN notices, 2013, Vol.48 (9), p.299-304
2013
Volltextzugriff (PDF)

The 18th ACM SIGPLAN International Conference on Functional Programming, ICFP'13, 2013, p.299
2013
Volltextzugriff (PDF)

1st ACM SIGPLAN Workshop on Functional High Performance Computing, FHPC 2012. Copenhagen, 15 September 2012, 2012, p.3-14
2012
Volltextzugriff (PDF)

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013, Vol.48 (12), p.37-46
2013
Volltextzugriff (PDF)

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

ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010, 2010, Vol.1 (1), p.2065-2074
2010
Volltextzugriff (PDF)

35th Symposium on Implementation and Application of Functional Languages (IFL), Braga, Portugal, 2023, p.1-12
2023
Volltextzugriff (PDF)

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2022, p.1-20
2022
Volltextzugriff (PDF)

Octopi: Säker Programering för Sakernas Internet, 2021, p.26-35
2021
Volltextzugriff (PDF)

SIGPLAN notices, 2017-09, Vol.52 (6), p.320-332
2017
Volltextzugriff (PDF)

SIGPLAN notices, 2016-08, Vol.51 (6), p.16-26
2016
Volltextzugriff (PDF)

ACM queue, 2014, Vol.12 (4), p.40-52
2014
Volltextzugriff (PDF)

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015, p.12-22
2015
Volltextzugriff (PDF)

Communications of the ACM, 2014-06, Vol.57 (6), p.56-63
2014
Volltextzugriff (PDF)

ACM queue, 2014-04, Vol.12 (4), p.40-52
2014
Volltextzugriff (PDF)