The HACL project aims to establish theoretical foundations for design and implementation of concurrent distributed programming languages. The research topics include development of concurrent/distributed computation models and advanced type systems, and their applications to static analysis and compilation of concurrent programs. More information is available from the home page of our research group.