Summer Term 2015 Das Tübinger Softwareprojekt Datatype-generic programming (Seminar) Programmiersprachen II Software Construction Techniques: Writing Good Code (Seminar) Software Engineering