Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» Type Inference with Rank 1 Polymorphism for Type-Directed Co...

click to vote

ICFP
1999
ACM

183views Programming Languages» more ICFP 1999»

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML

13 years 9 months ago

Download www.pllab.riec.tohoku.ac.jp

This paper deﬁnes an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Diﬀerent from the conve...

Atsushi Ohori, Nobuaki Yoshida

claim paper

Read More »

click to vote

ML
2006
ACM

94views Machine Learning» more ML 2006»

Seminal: searching for ML type-error messages

13 years 10 months ago

Download www.cs.washington.edu

We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (speciﬁcally Caml). Our method separates error-message generation ...

Benjamin S. Lerner, Dan Grossman, Craig Chambers

claim paper

Read More »

click to vote

ICFP
1999
ACM

116views Programming Languages» more ICFP 1999»

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)

13 years 9 months ago

Download cs.wellesley.edu

d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...

Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Tur...

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers