arXiv 2001-11-14 EN An Integrated Development Environment for Declarative Multi-Paradigm Programming Hanus, Michael · Koj, Johannes
