京都大学

• Informatics Library

Tanaka Lab

Other labs

• Functional Programming Research Group
• Research Institute for Math. Sciences Workshops
• 勝股 審也（しんーや　かつまた） Shin-ya Katsumata and Susumu Nishimura. Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement. To Appear in Proc. ICFP 2006.