1ML – Core and modules united (Q4625163): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive type generativity
@@ Property / cites work: Recursive type generativity / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Schemes for Modular Programs
@@ Property / cites work: Principal Type Schemes for Modular Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for higher-order modules
@@ Property / cites work: A type system for higher-order modules / rank @@
+Normal rank
@@ Property / cites work @@
+Modular type classes
@@ Property / cites work: Modular type classes / 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 @@
+ML             <sup>F</sup>
@@ Property / cites work: ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of type generativity and sharing
+Normal rank
@@ Property / cites work @@
+Canonical Structures for the Working Coq User
@@ Property / cites work: Canonical Structures for the Working Coq User / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / 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 @@
+ML – core and modules united (F-ing first-class modules)
+Normal rank
@@ Property / cites work @@
+ML with Special Effects
@@ Property / cites work: 1ML with Special Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Mixin' up the ML module system
@@ Property / cites work: Mixin' up the ML module system / rank @@
+Normal rank
@@ Property / cites work @@
+F-ing modules
@@ Property / cites work: F-ing modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2712586
@@ Property / cites work: Q2712586 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for modules
@@ Property / cites work: Types for modules / rank @@
+Normal rank
@@ Property / cites work @@
+Transparent modules with fully syntatic signatures
+Normal rank
@@ Property / cites work @@
+Extensional equivalence and singleton types
@@ Property / cites work: Extensional equivalence and singleton types / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ Property / cites work @@
+FPH
@@ Property / cites work: FPH / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796818000205
+Normal rank
@@ Property / OpenAlex ID @@
+W2908243715
@@ Property / OpenAlex ID: W2908243715 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128673612
@@ Property / Wikidata QID: Q128673612 / rank @@
+Normal rank