笑顔は野力
Resercher in
Computer Science
Postdoc @ King's College London
Main Academic Interests:
Rewriting | λ-calculus | Effects | Intersection Types
Main Academic Interests:
Rewriting | λ-calculus | Effects | Intersection Types
Interested in a detailed past? Here my CV
Interested in a detailed past? Here my CV
![](https://www.google.com/images/icons/product/drive-32.png)
Service to the Community
Service to the Community
Sub-reviewing: PPDP 23, CSL 23, CSL22, PPDP21, FSCD21, CSL21, FSCD20, Types20, ITRS20, ICTCS19, FSCD19.
Sub-reviewing: PPDP 23, CSL 23, CSL22, PPDP21, FSCD21, CSL21, FSCD20, Types20, ITRS20, ICTCS19, FSCD19.