Sato Masahiko

• Functional and Logic Programming