Atsushi Igarashi

Atsushi Igarashi

Kyoto University - Kyoto / Japan
Engineering & Technology / Electrical & Information Engineering
AD Scientific Index ID: 394756
京都大学
person_outline Atsushi Igarashi's MOST POPULAR ARTICLES
1-) Featherweight Java: a minimal core calculus for Java and GJA Igarashi, BC Pierce, P WadlerACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 200111842001
2-) Featherweight Java: A minimal core calculus for Java and GJA Igarashi, B Pierce, P WadlerACM SIGPLAN Notices 34 (10), 132-146, 19994971999
3-) A generic type system for the pi-calculusA Igarashi, N KobayashiProceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 20013032001
4-) A generic type system for the pi-calculusA Igarashi, N KobayashiProceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 20011662001
5-) Resource usage analysisA Igarashi, N KobayashiProceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 20021512002