Ilya Sergey

• Practical Aspects of Declarative Languages
• Programming Languages and Systems
• QED at Large