Login / Signup
Larisse Voufo
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Real World
Domain Experts
Production Rules
Rule Mining
Top Venues
WGP@ICFP
</>
Publications
</>
Larisse Voufo
,
Marcin Zalewski
,
Andrew Lumsdaine
Scoping rules on a platter: a framework for understanding and specifying name binding.
WGP@ICFP
(2014)
Larisse Voufo
,
Marcin Zalewski
,
Andrew Lumsdaine
ConceptClang: an implementation of C++ concepts in Clang.
WGP@ICFP
(2011)
Larisse Voufo
Quantum Circuits: From a Network to a One-Way Model.
Electron. Notes Theor. Comput. Sci.
270 (1) (2011)