Jaakko JärviAssistant Professor
Department of Computer Science
Texas A&M University
410B Harvey R. Bright Bldg
College Station, TX 77843-3112, USA
Tel: +1 (979) 845-4359
Fax: +1 (979) 847-8578
Email: jarvi (at) cs.tamu.edu
These pages have moved to http://parasol.tamu.edu/~jarvi/
You should be redirected automatically. If not, just click on the above link.
Course informationA note to prospective students.
- Programming Languages -- 604, Spring 2007.
- Generic Programming, Fall 2006.
- Programming Languages -- 604, Spring 2006.
- Generic Programming, Fall 2005.
- Programming Language Design, Spring 2005.
- Generic Programming, Fall 2004.
Upcoming or recent events
- October 06: The workshop on Library-Centric Software Design LCSD'06 (at OOPSLA'06)
- June 10-16,2006. ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada.
- January 9-10, 2006: ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) affiliated with POPL 2006, Charleston, South Carolina.
- October 05: The workshop on Library-Centric Software Design LCSD'05 (at OOPSLA'05)
- October 05: The workshop on Multi-Paradigm Programming with Object-Oriented Languages MPOOL'05 (at OOPSLA'05).
- June 05: Dagstuhl seminar on Types for Tools: Applications of Type Theoretic Techniques
My research interests include generic and generative programming, programming languages, type systems, and software construction in general. Here is a list of my publications.
The Boost Tuple Library and the Boost Lambda Library are generic programming libraries I've been involved in developing. Another small but useful C++ tool is the enable_if family of templates, also part of the C++ Boost library collection.
I'm involved in the C++ ISO standardization process. More concretely, I have worked or continue to work on library support for tuple types, library support for partial function application, core language support for inferring the type of a variable from its initializer expression, a "typeof" mechanism, a constraint system for C++ templates, and templates with a variable length argument list. Which of the above will eventually be part of the C++ standard is not clear, the list is roughly in the order of decreasing likelihood of this happening. See the publications page for technical reports that contain more detailed description of the topics.