|
|
| |
| |
| Invited Visits |
| |
- Denotational semantics for monadic effects, Sendai, Japan, Oleg Kiselyov, Tohoku University, Japan (2018/05–2018/05)
- Bidirectional updating, Tokyo, Japan, Hsiang-Shang Ko, National Institute of Informatics (2017/03–2017/03)
- Modular unfolding, Hong Kong , Bruno Oliveira, Hong Kong University (2017/11–2017/11)
- Generic datatype and type classes, Hong Kong, Bruno Oliveira, Hong Kong University (2015/01–2015/01)
- Software Construction, University of Tokyo, Japan, University of Tokyo (2009/04–2010/04)
- bidirectional updating, Tokyo, Japan, Information Processing Lab, University of Tokyo (2008/11–2008/12)
- XML stream processing and bidirectional updating, Tokyo, Japan, Information Processing Lab, University of Tokyo (2006/05–2006/07)
|
| |
|
|
|
|
|
 |
|
|
|
