Can I read Parallelism and Type Analysis in ML on EtoBox?

Parallelism and Type Analysis in ML by 252966576 is a document available to read on EtoBox.

What is Parallelism and Type Analysis in ML about?

This document discusses parallelism and spans of various tree operations including insertion, splitting, merging, and mergesort. It shows that insertion, splitting, and merging have spans of O(d), while mergesort has a span of O(d^3) for a balanced tree of depth d. It notes that mergesort can lose balance and discusses options to preserve balance like using rebalancing or abstract balanced tree types. The document also covers type checking, polymorphism, and type inference in ML.

Author

252966576

Language

EN