\texttt{EVL}: a typed higher-order functional language for events (Q2229144): Difference between revisions

@@ Property / cites work @@
+A Typed Language for Events
@@ Property / cites work: A Typed Language for Events / rank @@
+Normal rank
@@ Property / cites work @@
+Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Q4410672
@@ Property / cites work: Q4410672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142165
@@ Property / cites work: Q3142165 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3204026
@@ Property / cites work: Q3204026 / rank @@
+Normal rank