A correspondence between type checking via reduction and type checking via evaluation (Q763480): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2061740608
@@ Property / OpenAlex ID: W2061740608 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+A concrete framework for environment machines
@@ Property / cites work: A concrete framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+From Reduction-Based to Reduction-Free Normalization
+Normal rank
@@ Property / cites work @@
+A Rational Deconstruction of Landin's SECD Machine with the J Operator
+Normal rank
@@ Property / cites work @@
+On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
+Normal rank
@@ Property / cites work @@
+Refunctionalization at work
@@ Property / cites work: Refunctionalization at work / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655271
@@ Property / cites work: Q3655271 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Semantics for Type Inference
@@ Property / cites work: A Rewriting Semantics for Type Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank