Welcome to Kenichi Asai's Home Page

Home

Publications

• English
• Japanese (PPL)

Projects

• OCaml Stepper Demo
• Type Debugger
• Universe Library
• OchaCaml
• MikiBeta
• Meta Lambda Calculus
• Black

Address

I am a professor in the Department of Information Science, Faculty of Science, Ochanomizu University. My research interest includes partial evaluation, continuation, reflection, etc.

---

• CW 2011 Tutorial: Introduction to Programming with Shift and Reset
• Continuation Workshop
  • CW '97, '01, '04, Continuation Fest 2008, TPDC 2011, CW 2011, COS 2013, WoC 2015
• Partial Evaluation and Semantics-Based Program Manipulation (ACM, dblp)
  • PEPM '99, '00, '02, ASIA-PEPM '02, PEPM '03, '04, '06, '07, '08, '09, '10, '11, '12, '13, '14, '15, '16, '17, '18, '19, '20, '21, '22, '23, '24
  • Visit PEPM 2025!!!
• ML Family Workshop
  • ML '15, '16, '17, '18, '19, '20, '21, '22, '23
  • Visit ML 2024!!!
• My picture: small (8k), large (87k)

---

Last modified on September 4, 2024