Interactive programming in Agda – Objects and graphical user interfaces (Q5372002): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed Inductive/Coinductive Types and Strong Normalization
+Normal rank
@@ Property / cites work @@
+Semi-continuous Sized Types and Termination
@@ Property / cites work: Semi-continuous Sized Types and Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854733
@@ Property / cites work: Q5854733 / rank @@
+Normal rank
@@ Property / cites work @@
+A predicative analysis of structural recursion
@@ Property / cites work: A predicative analysis of structural recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded recursion with copatterns
@@ Property / cites work: Wellfounded recursion with copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398769
@@ Property / cites work: Q4398769 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839066
@@ Property / cites work: Q3839066 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Termination with Sized Products
@@ Property / cites work: Type-Based Termination with Sized Products / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Foundational extensible corecursion: a proof assistant perspective
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+Induction-recursion and initial algebras.
@@ Property / cites work: Induction-recursion and initial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219036
@@ Property / cites work: Q4219036 / rank @@
+Normal rank
@@ Property / cites work @@
+Codatatypes in ML
@@ Property / cites work: Codatatypes in ML / rank @@
+Normal rank
@@ Property / cites work @@
+Programming interfaces and basic topology
@@ Property / cites work: Programming interfaces and basic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Small Induction Recursion
@@ Property / cites work: Small Induction Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024841
@@ Property / cites work: Q3024841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's fixed-point theorem and lambda calculi with monotone inductive types
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / 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 @@
+Inductive-Inductive Definitions
@@ Property / cites work: Inductive-Inductive Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+A set constructor for inductive sets in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Type-Based Productivity of Stream Definitions in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Safe functional reactive programming through dependent types
+Normal rank
@@ Property / cites work @@
+Coalgebras as Types Determined by Their Elimination Rules
+Normal rank
@@ Property / cites work @@
+How to Reason Coinductively Informally
@@ Property / cites work: How to Reason Coinductively Informally / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / rank @@
+Normal rank
@@ Property / cites work @@
+Typestate: A programming language concept for enhancing software reliability
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796816000319
+Normal rank
@@ Property / OpenAlex ID @@
+W2552040597
@@ Property / OpenAlex ID: W2552040597 / rank @@
+Normal rank