Searching for "The Essence of ML." – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
A Syntactic Approach to Type Soundness
- … to the functional polymorphic sublanguage as the essence of ML [24]. However, the difficulties of typing references…
- Cited by 420 (19 self) – Add To MetaCart
-
The Essence of XML (preliminary version)
- …;paper> <title>The Essence of ML</title> <author>Robert Harper</author> <…
- Add To MetaCart
-
On The Type Structure of Standard ML
- … under the title “The Essence of ML.” The work of R. Harper was supported in part by the Science…
- Cited by 103 (15 self) – Add To MetaCart
-
The next 700 data description languages
- … that captures the essence of the actual implementation. We have also analyzed many of the features of PADS/ML…
- Cited by 16 (6 self) – Add To MetaCart
-
unknown title
- … language. IPADS captures the essence of PADS in a fashion similar to the way that MinML [12] captures…
- Add To MetaCart
-
Using, understanding, and unraveling the ocaml language
- … of the language, which, surprisingly, contains in itself the essence of ML. Last, we show how to derive other…
- Cited by 3 (0 self) – Add To MetaCart
-
Using, Understanding, and Unraveling The OCaml Language From Practice to Theory
- … of the language, which, surprisingly, contains in itself the essence of ML. Last, we show how to derive other…
- Add To MetaCart
-
Type Inference and Reconstruction for First Order Dependent Types
- …. Finding principal type schemes for programs is the essence of ML-style type reconstruction. It was Robin…
- Cited by 3 (1 self) – Add To MetaCart
-
Multi-label classification: An overview
- … learning algorithm for multi-label data. Actually this method follows the paradigm of PT4. In essence, ML…
- Cited by 2 (1 self) – Add To MetaCart
-
Multiple-Antenna Differential Lattice Decoding
- … not affect the exactness of the solution to (5). In essence, the ML Voronoi region is approximated by a…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
