Marcin Zalewski
Postdoctoral associate
School of Informatics and Computing
228 Lindley Hall, Bloomington, IN 47405
Marcin Zalewski
Postdoctoral associate
School of Informatics and Computing
228 Lindley Hall, Bloomington, IN 47405
Research Interests
• Generic Programming (C++, concepts, property-based, staged...)
• Metaprogramming
• Programming Languages
• Software Libraries
• Algebraic Specification
• Automatic Composition of Software
Professional Activities
• Program committees: WGP 2009, WGP 2010 (co-organizer)
Recent Publications
The complete list of publications is available at OSL publications page.
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.
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, and Andreas Priesnitz. A Comparison of C++ Concepts and Haskell Type Classes. In Proc. ACM SIGPLAN Workshop on Generic Programming, pages 48--37, 2008. ACM.
Marcin Zalewski. Generic Programming with Concepts. PhD Thesis, Chalmers University, November 2008.
Here is my old page at Chalmers University.