TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Handbook of automated reasoning
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Directly reflective meta-programming
Higher-Order and Symbolic Computation
Hi-index | 0.00 |