Q5111306 (Q5111306): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PLT Redex
@@ Property / describes a project that uses: PLT Redex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between call-by-need evaluators and lazy abstract machines
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+Normal rank
@@ Property / cites work @@
+A syntactic correspondence between context-sensitive calculi and abstract machines
+Normal rank
@@ Property / cites work @@
+Strongly reducing variants of the Krivine abstract machine
+Normal rank
@@ Property / cites work @@
+From Outermost Reduction Semantics to Abstract Machine
+Normal rank
@@ Property / cites work @@
+Syntactic Theories in Practice
@@ Property / cites work: Syntactic Theories in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655271
@@ Property / cites work: Q3655271 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy evaluation and delimited control
@@ Property / cites work: Lazy evaluation and delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Functional runtime systems within the lambda-sigma calculus
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414741
@@ Property / cites work: Q4414741 / rank @@
+Normal rank