Pattern minimization problems over recursive data types

In: James Hook and Peter Thiemann, editors, International Conference on Functional Programming (ICFP 2008) (Alexander Krauss) PDF

Alexander Krauss

A contribution from

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]