Programming Languages and Compiler Construction Group

M.Sc. Finn Teegen

Research Assistant/PhD Student

Christian-Albrechts-Platz 4, R.701
Phone: +49 431 880-7262

Current and recent projects

  • development of the Curry compiler KiCS2 (e.g., extension for type and type constructor classes)
  • implementation of a library for probabilistic programming in Curry
  • representation of numbers in Curry



  • compiler implementation and optimisation
  • type systems
  • application of functional logic programming concepts



  • exercise course for "Programmiertechniken" (Summer '17)
  • (practical) lab for "Fortgeschritten Programmierung" (Winter '16)



  • One Monad To Prove Them All  (arXiv) (<Programming> 2019)
  • Synthesizing Set Functions (arXiv) (WFLP 2018)
  • Probabilistic Functional Logic Programming (Vorabversion) (PADL 2018)