115 search results - page 3 / 23 » First-class Polymorphism with Type Inference |
POPL
1991
ACM
13 years 8 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
JCSS
2002
13 years 5 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...