PhD in Computer Science

Composition Synthesis based on Combinatory Logic with Intersection Types

Academic year 2013/2014

Sommario del corso

• Course objectives
• Notes
• Teaching tools

Course objectives

Composition synthesis is the problem of constructing a functional composition satisfying a goal specification

from a given collection (library, repository) of functions or components. Combinatory logic synthesis is an approach

to composition synthesis based on systems of combinatory logic with intersection types. The synthesis problem

is formalized as the question of inhabitation in a combinatory logic. Intersection types play a central role

in the combinatory synthesis paradigm, because they can be used to specify interesting semantic properties.

In the talk we will give an overview of the theory and practice of combinatory logic synthesis and point out

directions for future work.

Class schedule

Note

The course will be held by

Boris Düdder, Moritz Martens e Jakob Rehof

Technical University of Dortmund

• Teaching materials
• Exams and finals
• Go to Moodle
• Visit the forums