Q5376659 (Q5376659): Difference between revisions

@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138149
@@ Property / cites work: Q4138149 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478384
@@ Property / cites work: Q3478384 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+A variable typed logic of effects
@@ Property / cites work: A variable typed logic of effects / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992705
@@ Property / cites work: Q3992705 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of programs that destructively manipulated data
+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 @@
+Inferring the equivalence of functional programs that mutate data
+Normal rank
@@ Property / cites work @@
+Q4793036
@@ Property / cites work: Q4793036 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / 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 @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
+Normal rank
@@ Property / cites work @@
+A theory for program and data type specification
@@ Property / cites work: A theory for program and data type specification / rank @@
+Normal rank
@@ Property / cites work @@
+Composable semantic models for actor theories
@@ Property / cites work: Composable semantic models for actor theories / rank @@
+Normal rank