Author of the publication

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.

, , and . Future Generation Comp. Syst., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Discovering parallel pattern candidates in Erlang., , , , , , , , , and . Erlang Workshop, page 13-23. ACM, (2014)Type-Driven Verification of Non-functional Properties., , , , and . PPDP, page 6:1-6:15. ACM, (2019)Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang., , , , and . Comput. Informatics, 35 (4): 792-818 (2016)Towards semi-automatic data-type translation for parallelism in Erlang., , , and . Erlang Workshop, page 60-61. ACM, (2016)Semi-automatic ladderisation: improving code security through rewriting and dependent types., , , , , and . PEPM@POPL, page 14-27. ACM, (2022)The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang., , , , , , , and . International Journal of Parallel Programming, 46 (1): 4-22 (2018)In search of a map: using program slicing to discover potential parallelism in recursive functions., and . FHPC@ICFP, page 30-41. ACM, (2017)CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce., , and . J. Log. Algebraic Methods Program., (2022)Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification., , and . Future Generation Comp. Syst., (2018)Extending the Öpen-Closed Principle" to Automated Algorithm Configuration., , , , and . Evolutionary Computation, 27 (1): 173-193 (2019)