Who am I

The name is YunYan(昀彥) Chi(郗). Currently I’m a research assistant in the Institute of Information Science at Academia Sinica, Taiwan. My research interests include:

• functional programming
• program derivation
• program calculation
• type system
• lambda calculus
• other programming language related subjects

You can fine some of my works on

You can fine me on

Contact

• jaiyalasgmail.com
• jaiyalasyahoo.com.tw

License

All posts in this site are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.