HyperNews: a MEDIA application for the commercialization of an electronic newspaper
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Formal validation of pattern matching code
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Declarative object identity using relation types
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Hi-index | 0.00 |