TY - UNPB AU - Jan Christiansen AU - Sandra Dylus N1 - Poster session at the International Conference on the Art, Science, and Engineering of Programming PY - 2019 TI - Proving Inequational Propositions about Haskell Programs in Coq ER -