The regular-language semantics of second-order idealized ALGOL (Q1884909): Difference between revisions

@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175528
@@ Property / cites work: Q4175528 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular-Language Semantics for a Call-by-Value Programming Language
+Normal rank
@@ Property / cites work @@
+Q2754137
@@ Property / cites work: Q2754137 / rank @@
+Normal rank
@@ Property / cites work @@
+Payoffs, Intensionality and Abstraction in Games
@@ Property / cites work: Payoffs, Intensionality and Abstraction in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Extending regular expressions with iterated shuffle
+Normal rank
@@ Property / cites work @@
+Even Simple Programs Are Hard To Analyze
@@ Property / cites work: Even Simple Programs Are Hard To Analyze / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic control of interference revisited
@@ Property / cites work: Syntactic control of interference revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995
+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 @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank