Syntactic Theories in Practice (Q2841251): Difference between revisions

@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+CPS transformation of beta-redexes
@@ Property / cites work: CPS transformation of beta-redexes / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Theories in Practice
@@ Property / cites work: Syntactic Theories in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Correctness of procedure representations in higher-order assembly language
+Normal rank
@@ Property / cites work @@
+From syntactic theories to interpreters: Automating the proof of unique decomposition
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00297-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2924126694
@@ Property / OpenAlex ID: W2924126694 / rank @@
+Normal rank