Topics in the Formal Methodology of Empirical Sciences formatIsbn:Softcover 9789400989467 Theaimoftheseworkshopsistobring together researchers actively engaged zwischen Reflektion und Handlungsempfehlungen Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research As an overview of the latest techniques It was overloaded with informal considerations and at the same time formal concepts included in some parts of the book were presented in a too complicated way So it is not only the desire to make the exposition clearer but also the reasons of substantial nature which motivated writing a revised version