Extensional equality preservation and verified generic programming (Q5019020): Difference between revisions

@@ Property / author @@
+Nicola Botta
@@ Property / author: Nicola Botta / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Proving type class laws for Haskell
@@ Property / cites work: Proving type class laws for Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241581
@@ Property / cites work: Q3241581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to a computational theory of policy advice and avoidability
+Normal rank
@@ Property / cites work @@
+On the correctness of monadic backward induction
@@ Property / cites work: On the correctness of monadic backward induction / rank @@
+Normal rank
@@ Property / cites work @@
+Realms: A Structure for Consolidating Knowledge about Mathematical Theories
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Programming as Graph Searching: An Algebraic Approach
+Normal rank
@@ Property / cites work @@
+Polytypic data conversion programs
@@ Property / cites work: Polytypic data conversion programs / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of applied bifurcation theory.
@@ Property / cites work: Elements of applied bifurcation theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of programming in Agda: Dependent types for relational program derivation
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075239
@@ Property / cites work: Q3075239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Cubical Agda: A dependently typed programming language with univalence and higher inductive types
+Normal rank
@@ Property / cites work @@
+Q4555336
@@ Property / cites work: Q4555336 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3211048084
@@ Property / OpenAlex ID: W3211048084 / rank @@
+Normal rank