Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069): Difference between revisions

@@ Property / cites work @@
+A representable approach to finite nondeterminism
@@ Property / cites work: A representable approach to finite nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945250
@@ Property / cites work: Q4945250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936143
@@ Property / cites work: Q4936143 / rank @@
+Normal rank
@@ Property / cites work @@
+On MacLane's conditions for coherence of natural associativities, commutativities, etc
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Q4364388
@@ Property / cites work: Q4364388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945251
@@ Property / cites work: Q4945251 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement and algebraic structure
@@ Property / cites work: Data refinement and algebraic structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722025
@@ Property / cites work: Q2722025 / rank @@
+Normal rank
@@ Property / cites work @@
+Sketches
@@ Property / cites work: Sketches / rank @@
+Normal rank
@@ Property / cites work @@
+Types, abstraction, and parametric polymorphism, part 2
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754136
@@ Property / cites work: Q2754136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218944
@@ Property / cites work: Q4218944 / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories as categories with algebraic structure
+Normal rank
@@ Property / cites work @@
+Generic models for computational effects
@@ Property / cites work: Generic models for computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261097
@@ Property / cites work: Q4261097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364395
@@ Property / cites work: Q4364395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222903
@@ Property / cites work: Q4222903 / rank @@
+Normal rank