Implicit coercions in type systems (Q4647565): Difference between revisions

@@ Property / cites work @@
+Subtyping dependent types
@@ Property / cites work: Subtyping dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247299
@@ Property / cites work: Q4247299 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of constructor classes: overloading and implicit higher-order polymorphism
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing in pure type systems
@@ Property / cites work: Typing in pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3790597
@@ Property / cites work: Q3790597 / rank @@
+Normal rank