Ambivalent Types for Principal Type Inference with GADTs (Q2937793): Difference between revisions

@@ 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-319-03542-0_19
+Normal rank
@@ Property / OpenAlex ID @@
+W168996756
@@ Property / OpenAlex ID: W168996756 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing dynamic typing
@@ Property / cites work: Typing dynamic typing / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-explicit first-class polymorphism for ML.
@@ Property / cites work: Semi-explicit first-class polymorphism for ML. / rank @@
+Normal rank
@@ Property / cites work @@
+Ambivalent Types for Principal Type Inference with GADTs
+Normal rank
@@ Property / cites work @@
+Recasting ML\(^{\text F}\)
@@ Property / cites work: Recasting ML\(^{\text F}\) / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified type inference for generalized algebraic data types
+Normal rank
@@ Property / cites work @@
+Complete and decidable type inference for GADTs
@@ Property / cites work: Complete and decidable type inference for GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in Ωmega
@@ Property / cites work: Programming in Ωmega / rank @@
+Normal rank
@@ Property / cites work @@
+<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2937793