Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Program equivalence in a linear functional language
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / 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 @@
+Q4225151
@@ Property / cites work: Q4225151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105769
@@ Property / cites work: Q4105769 / rank @@
+Normal rank
@@ Property / cites work @@
+From Algol to polymorphic linear lambda-calculus
@@ Property / cites work: From Algol to polymorphic linear lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics of sharing in lazy evaluation
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Operational interpretations of linear logic
@@ Property / cites work: Operational interpretations of linear logic / rank @@
+Normal rank