Directly reflective meta-programming (Q848742): Difference between revisions

@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming through typeful code representation
+Normal rank
@@ Property / cites work @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842534
@@ Property / cites work: Q4842534 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical extensibility for theorem verifiers and proof-checkers
+Normal rank
@@ Property / cites work @@
+Macros as multi-stage computations
@@ Property / cites work: Macros as multi-stage computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Self-verification of HOL Light
@@ Property / cites work: Towards Self-verification of HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Meta Reasoning in ACL2
@@ Property / cites work: Meta Reasoning in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic modal type system for lisp-like multi-staged languages
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming with names and necessity
@@ Property / cites work: Meta-programming with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Staged computation with names and necessity
@@ Property / cites work: Staged computation with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751369
@@ Property / cites work: Q2751369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024916
@@ Property / cites work: Q3024916 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank