Programming Languages and Compiler Construction Group

Research

The main research topics are:

  • Multi-paradigm programming languages, in particular, integration of functional and logic programming languages
  • Design of the multi-paradigm declarative language Curry and the implementation of Curry with PAKCS and KiCS2
  •  ALF system, an older algebraic functional logic language
  • Abstract interpretation of logic, functional logic and constraint logic programming languages
  • Implementation of declarative programming languages
  • Type systems for logic programming languages
  • Software engineering for declarative programming
  • Applications, like web programming, e-learning, embedded system programming, etc.