Optimal Representations of Polymorphic Types with Subtyping
Higher-Order and Symbolic Computation
Axiomatization of Finite Algebras
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
How Well Do Search Engines Support Code Retrieval on the Web?
ACM Transactions on Software Engineering and Methodology (TOSEM)
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Detecting specification errors in declarative languages with constraints
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Checking NFA equivalence with bisimulations up to congruence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.00 |