Larisse Voufo

Scoping rules on a platter: a framework for understanding and specifying name binding

Andrew Lumsdaine, Marcin Zalewski, Larisse Voufo, 2014, WGP '14.

A Concept Design for the STL

Bjarne Stroustrup, Andrew Sutton, Marcin Zalewski, 2012 .

Quantum Circuits: From a Network to a One-Way Model

Larisse Voufo, Larisse Voufo, 2011, QPL/DCM@ICALP.

ConceptClang: an implementation of C++ concepts in Clang

Andrew Lumsdaine, Marcin Zalewski, Larisse Voufo, 2011, WGP@ICFP.

A Uniform Terminology for C + + Concepts

Andrew Lumsdaine, Larisse Voufo, A. Lumsdaine, 2012 .