Union Types for Object-Oriented Programming
-
- 五十嵐 淳
- 京都大学
書誌事項
- タイトル
- Union Types for Object-Oriented Programming
- 著者
- Atsushi Igarashi, Hideshi Nagira
収録刊行物
-
- In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)
-
In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006) 1435-1441, 2006