Chinese
English
Associate Research Fellow  |  Mu, Shin-Cheng  
 
contact
vita
education
experience
interests
descriptions
activities
invited_visit
publications
supervised
Personal (New window)
 
 
 
 
 
Invited Visits
 
  1. Denotational semantics for monadic effects, Sendai, Japan, Oleg Kiselyov, Tohoku University, Japan (2018/05–2018/05)
  2. Bidirectional updating, Tokyo, Japan, Hsiang-Shang Ko, National Institute of Informatics (2017/03–2017/03)
  3. Modular unfolding, Hong Kong , Bruno Oliveira, Hong Kong University (2017/11–2017/11)
  4. Generic datatype and type classes, Hong Kong, Bruno Oliveira, Hong Kong University (2015/01–2015/01)
  5. Software Construction, University of Tokyo, Japan, University of Tokyo (2009/04–2010/04)
  6. bidirectional updating, Tokyo, Japan, Information Processing Lab, University of Tokyo (2008/11–2008/12)
  7. XML stream processing and bidirectional updating, Tokyo, Japan, Information Processing Lab, University of Tokyo (2006/05–2006/07)
 
 
bg