NAKATA keiko

ADDRESS

I am a doctorate candidate in theoretical computer science
at Research Institute for Mathematical Sciences,
Kyoto University

Research Papers

• Keiko Nakata and Jacques Garrigue.
  Path resolution for recursive nested modules is undecidable. To appear.
  (.pdf)
• Keiko Nakata and Jacques Garrigue.
  Recursive Modules for Programming. Presented at The ACM SIGPLAN International Conference on Functional Programming, 2007. (.pdf) Of course, Traviata is named after Marguerite Gautier.
• Keiko Nakata and Jacques Garrigue.
  Recursive modules for programming (extended abstract). Presented at JSSST Workshop on Programming and Programming Languages, Ogoto, Japan, March 2006. (.pdf)
• Keiko Nakata and Jacques Garrigue.
  Path resolution for recursive modules Technical Report, RIMS-1545. (.pdf)
• Keiko Nakata
  Recursion for structured modules. Presented at JSSST Workshop on Programming and Programming Languages, Gunma, Japan, March 2005. (.pdf)
• Keiko Nakata, Akira Ito, Jacques Garrigue.
  Recursive Object-Oriented Modules. Presented at the 12th International Workshop on Foundations of Object-Oriented Languages, Long Beach, California, January 2005. (.ps,.ps.gz, .pdf)
  Extended version (including draft for proofs, this may be updated with more detailed proofs)
  (.pdf updated, October 1, 2004 )