笑顔は野力
Embedded Files
Resercher in
Computer Science
Teacher and Researcher
Main Academic Interests:
Rewriting | λ-calculus | Intersection Types |
CS Education Pedagogy
Main Academic Interests:
Rewriting | λ-calculus | Intersection Types |
CS Education Pedagogy
Interested in a detailed past? Here my CV
Interested in a detailed past? Here my CV
CV.pdfService 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.
Page updated
Google Sites
Report abuse