LFCS Seminar: Tuesday, 18 October - Jacques Carette

Title:  From structured theories to efficient code in 6 easy steps

Abstract:  Writing efficient, correct code by hand is difficult and time consuming.  Writing a large library of efficient, correct and useful algorithms is daunting.  However, if one approaches this task via generic and generative programming, in a typed setting, the task gets considerably easier.  By leveraging much of the structural information buried in the foundations of mathematics and computer science, we can build a libraries with wide coverage but in relatively few lines of code, through a succession of abstraction layers. The general tools as well as some specific case studies (prototype implementations) will be presented.