Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Monograph | Conference or workshop item
Number of items: 4.
Monograph
Sulzmann, Martin and Wang, Meng (2005) Translating Generalized Algebraic Data Types to System F. Technical report. National University of Singapore (Unpublished) (Full text available) |
Sulzmann, Martin and Wang, Meng (2004) A Systematic Translation of Guarded Recursive Data Types to Existential Types. Technical report. National University of Singapore (Unpublished) (Full text available) |
Conference or workshop item
Sulzmann, Martin and Wang, Meng (2007) Aspect-Oriented Programming with Type Classes. In: Proceedings of the 6th workshop on Foundations of aspect-oriented languages. pp. 65-74. ISBN 978-1-59593-671-4. (Full text available) |
Sulzmann, Martin and Wang, Meng (2006) Modular Generic Programming with Extensible Superclasses. In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. ACM pp. 55-65. ISBN 1-59593-492-8. (doi:https://doi.org/10.1145/1159861.1159869) (Full text available) |