Programming Languages and Systems

" Civilization advances by extending the number of important operations which we can perform without thinking of them." 

This is also true of programming languages ! 

The purpose of this research is to increase the expressiveness of programming languages.

For example, we are able to build graphical user interfaces with one third or one fourth of the number of lines of code of more traditional tools. 

We  have also developed course materials and a textbook to teach programming as a unified discipline.

> Related research topics

• Ambient Software
• Teaching programming as a unified discipline
• Programming language expressiveness
• Abstract interpretation