Idris, a general-purpose dependently typed programming language: Design and implementation (Q5398331): Difference between revisions

@@ Property / cites work @@
+<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s095679681300018x
+Normal rank
@@ Property / OpenAlex ID @@
+W2145108549
@@ Property / OpenAlex ID: W2145108549 / rank @@
+Normal rank