First-Class Type Classes (Q3543665): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-71067-7_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1558115254
@@ Property / OpenAlex ID: W1558115254 / rank @@
+Normal rank
@@ Property / cites work @@
+Associated types with class
@@ Property / cites work: Associated types with class / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457452
@@ Property / cites work: Q4457452 / rank @@
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Type Classes in Isabelle
@@ Property / cites work: Constructive Type Classes in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729056
@@ Property / cites work: Q2729056 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7--12, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q2754063
@@ Property / cites work: Q2754063 / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Coercions in Coq
@@ Property / cites work: Subset Coercions in Coq / rank @@
+Normal rank