Publications (9)0 Total impact
-
Article: A Principled, Complete, and Efficient Representation of C++.
Mathematics in Computer Science. 01/2011; 5:335-356. -
Conference Proceeding: General constant expressions for system programming languages.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010; 01/2010 -
Conference Proceeding: Algorithmic differentiation in Axiom.
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings; 01/2007 -
Conference Proceeding: Concepts: Linguistic Support for Generic Programming in C++
Proceedings of the ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'06); 10/2006 -
Conference Proceeding: Specifying C++ concepts.
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 -
Article: A concept design (Rev. 1)
01/2005; -
Conference Proceeding: Supporting SELL for High-Performance Computing.
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
10/2003; -
Article: Concepts -- Design choices for template argument checking
10/2003;
Institutions
-
2005–2011
-
Texas A&M University
College Station, TX, USA
-