Static analysis for syntax objects
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Building language towers with ziggurat
Journal of Functional Programming
Science of Computer Programming
Pure, declarative, and constructive arithmetic relations (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Towards a jitting VM for prolog execution
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
(Nominal) unification by recursive descent with triangular substitutions
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |