Kazuyuki Asada

Papers:

• Kazuyuki Asada.
  Extensional Universal Types for Call-by-Value.
  In Proc. The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008), India
  LNCS 5356, pages 122-137. Springer-Verlag.
  [pdf] Copyright Springer-Verlag.
  
  
• Kazuyuki Asada and Ichiro Hasuo.
  Categorifying Computations into Components via Arrows as Profunctors.
  In Proc. 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Cyprus
  Electr. Notes Comp. Sci. 264(2):25-45, 2010.
  [pdf]
  
  
• Kazuyuki Asada.
  Arrows are Strong Monads.
  In Proc. Mathematically Structured Functional Programming 2010 (MSFP 2010), USA
  The proceedings are published by ACM Press.
  [pdf] Copyright ACM.
  
  
• Ichiro Hasuo and Kazuyuki Asada.
  Categorifying Computations into Components via Arrows as Profunctors.
  An extended version of [Asada-Hasuo, CMCS 2010]. Preprint.
  [pdf]

I am a postdoctoral researcher studying Computer Science, especially
semantics of programming languages and bidirectional graph transformation in
BiG project,
Prof. Hu Lab,
National Institute of Informatics (NII),
IPL.

e-mail: let # = @ in asada#nii.ac.jp