A cost-effective estimation of uncaught exceptions in Standard ML programs (Q1605229): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Safety analysis versus type inference
@@ Property / cites work: Safety analysis versus type inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490730
@@ Property / cites work: Q4490730 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for polymorphic references
@@ Property / cites work: Type inference for polymorphic references / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00317-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2161567720
@@ Property / OpenAlex ID: W2161567720 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1605229