Formal compiler construction in a logical framework (Q853741): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-006-8746-6
@@ Property / DOI: 10.1007/s10990-006-8746-6 / rank @@
-Normal rank
@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / 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 @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484346
@@ Property / cites work: Q4484346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721104
@@ Property / cites work: Q2721104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293532
@@ Property / cites work: Q4293532 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-006-8746-6
@@ Property / DOI: 10.1007/S10990-006-8746-6 / rank @@
+Normal rank