United States
IBM®
Site map
IBM
Search for people
IBM Research
Research Areas
Hybrid Cloud
AI
Quantum
Science
Labs
IBM Research-Africa
IBM Research-Almaden
IBM Research-Austin
IBM Research-Australia
IBM Research-Brazil
IBM Research-China
IBM Research Europe
IBM Research-Haifa
IBM Research-India
IBM Research-Tokyo
Thomas J Watson Research Center
Disciplines
Blog
links
Haskell And Rewriting Techniques (HART) 2013 - overview