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

Ein Beitrag von

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]