Presents the implementations of functional languages done with its current results plus links to functional programming resource.

Contains lecture notes, lab course, slides, and publications on functional languages.

Research endeavors in improving computer systems using various techniques. Provides details on numerous projects and members.

Highlights on movements made by a group of computer science people to gain effectiveness of reasoning in the construction of computer programs.

Tells about the activities held by a group of Kyoto University researchers for functional programming.

Profile of research directors with member and student lists and publications.

Profiles of research members with organization history, objectives, and specific interests.

Projects and publication of research group at the Yale University.