A type system for hybrid intensional-imperative programming support in GIPSY

Serguei A. Mokhov, Joey Paquet, Xin Tong 0002. A type system for hybrid intensional-imperative programming support in GIPSY. In Bipin C. Desai, Carson Kai-Sang Leung, Olga Ormandjieva, editors, Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings. ACM International Conference Proceeding Series, pages 101-107, ACM, 2009. [doi]

Abstract

Abstract is missing.