Marcin Zalewski

Postdoctoral Associate


Open Systems Lab

School of Informatics and Computing

Indiana University

228 Lindley Hall, Bloomington, IN 47405


email me

Research Interests

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

  2. Metaprogramming

  3. Programming Languages

  4. Software Libraries

  5. Algebraic Specification

  6. Automatic Composition of Software

Professional Activities

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

Recent Publications

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

Here is my old page at Chalmers University.