Keisuke Nakano

• Functional and Logic Programming
• Software Foundations for Data Interoperability