Higher-Order Intensional Type Analysis
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Pluggable reflection: decoupling meta-interface and implementation
Proceedings of the 25th International Conference on Software Engineering
RepLib: a library for derivable type classes
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Type-safe run-time polytypic programming
Journal of Functional Programming
Acute: High-level programming language design for distributed computation
Journal of Functional Programming
| Hi-index | 0.00 |