Gabriel Dos Reis

Publications (9)0 Total impact

• Source

  Available from: Bjarne Stroustrup

  Article: A Principled, Complete, and Efficient Representation of C++.

  Gabriel Dos Reis, Bjarne Stroustrup
  Mathematics in Computer Science. 01/2011; 5:335-356.
• Source

  Available from: Bjarne Stroustrup

  Conference Proceeding: General constant expressions for system programming languages.

  Gabriel Dos Reis, Bjarne Stroustrup
  Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010; 01/2010
• Conference Proceeding: Algorithmic differentiation in Axiom.

  Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi
  Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings; 01/2007
• Source

  Available from: Jeremy Siek

  Conference Proceeding: Concepts: Linguistic Support for Generic Programming in C++

  Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Gabriel Dos Reis, Bjarne Stroustrup, Andrew Lumsdaine
  Proceedings of the ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'06); 10/2006
• Source

  Available from: Bjarne Stroustrup

  Conference Proceeding: Specifying C++ concepts.

  Gabriel Dos Reis, Bjarne Stroustrup
  Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006; 01/2006
• Source

  Available from: Bjarne Stroustrup

  Article: A concept design (Rev. 1)

  Bjarne Stroustrup, Gabriel Dos Reis
  01/2005;
• Source

  Available from: Bjarne Stroustrup

  Conference Proceeding: Supporting SELL for High-Performance Computing.

  Bjarne Stroustrup, Gabriel Dos Reis
  Languages and Compilers for Parallel Computing, 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers; 01/2005
• Article: Concepts -- syntax and composition

  Bjarne Stroustrup, Gabriel Dos Reis
  10/2003;
• Source

  Available from: Bjarne Stroustrup

  Article: Concepts -- Design choices for template argument checking

  Bjarne Stroustrup, Gabriel Dos Reis
  10/2003;