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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Simula 67
@@ Property / describes a project that uses: Simula 67 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3543665