Compilation of extended recursion in call-by-value functional languages (Q848739): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-009-9042-z
@@ Property / DOI: 10.1007/s10990-009-9042-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3101389771
@@ Property / OpenAlex ID: W3101389771 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1257
@@ Property / arXiv ID: 0902.1257 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+The recursive record semantics of objects revisited
+Normal rank
@@ Property / cites work @@
+Q3332229
@@ Property / cites work: Q3332229 / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848119
@@ Property / cites work: Q2848119 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for well-founded recursion
@@ Property / cites work: A type system for well-founded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for recursive modules
@@ Property / cites work: A type system for recursive modules / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive monadic bindings
@@ Property / cites work: Recursive monadic bindings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Compilation of extended recursion in call-by-value functional languages
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract monadic semantics for value recursion
@@ Property / cites work: An abstract monadic semantics for value recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Recursive structures for standard ML
@@ Property / cites work: Recursive structures for standard ML / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
+Normal rank
@@ Property / cites work @@
+Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-009-9042-Z
@@ Property / DOI: 10.1007/S10990-009-9042-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:848739