On one-pass CPS transformations (Q5428374): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+Thunks and the λ-calculus
@@ Property / cites work: Thunks and the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A static simulation of dynamic delimited control
@@ Property / cites work: A static simulation of dynamic delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic correspondence between context-sensitive calculi and abstract machines
+Normal rank
@@ Property / cites work @@
+Back to direct style
@@ Property / cites work: Back to direct style / rank @@
+Normal rank
@@ Property / cites work @@
+Secure information flow via linear continuations
@@ Property / cites work: Secure information flow via linear continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic accidents in program analysis: on the impact of the CPS transformation
+Normal rank
@@ Property / cites work @@
+CPS translations and applications: The cube and beyond
+Normal rank
@@ Property / cites work @@
+From syntactic theories to interpreters: Automating the proof of unique decomposition
+Normal rank
@@ Property / cites work @@
+Retraction approach to CPS transform
@@ Property / cites work: Retraction approach to CPS transform / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations revisited
@@ Property / cites work: Continuations revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters revisited
@@ Property / cites work: Definitional interpreters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing nested loops using local CPS conversion
+Normal rank
@@ Property / cites work @@
+Lambda-dropping: Transforming recursive equations into programs with block structure
+Normal rank
@@ Property / cites work @@
+CPS transformation of beta-redexes
@@ Property / cites work: CPS transformation of beta-redexes / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A first-order one-pass CPS transformation
@@ Property / cites work: A first-order one-pass CPS transformation / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796807006387
+Normal rank
@@ Property / OpenAlex ID @@
+W2155273456
@@ Property / OpenAlex ID: W2155273456 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5428374