1. • Generic Programming (C++, concepts, property-based, staged...)
   

2. • Metaprogramming
   

3. • Programming Languages
   

4. • Software Libraries
   

5. • Algebraic Specification
   

6. • Automatic Composition of Software

1. • Program committees: WGP 2009, WGP 2010 (co-organizer)
   

The complete list of publications is available at OSL publications page.

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, and Sibylle Schupp. Generic Programming with C++ Concepts and Haskell Type Classes extemdasha Comparison. Journal of Functional Programming, 20(Special Issue 3-4):271--302, 2010.

Marcin Zalewski and Sibylle Schupp. A Semantic Definition of Separate Type Checking in C++ with Concepts. Journal of Object Technology, 8(5):105--132, 2009.

Note: Extended version available in Zalewski's PhD thesis.

Daniel Lincke, Patrik Jansson, Marcin Zalewski, and Cezar Ionescu. Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. In IFIP TC 2 Working Conference on Domain-Specific Languages, pages 236--261, July 2009.

Marcin Zalewski. Generic Programming with Concepts. PhD Thesis, Chalmers University, November 2008.

PDF