Sciweavers

102 search results - page 1 / 21
» A Sound Polymorphic Type System for a Dialect of C
Sort
View
SCP
1998
68views more  SCP 1998»
13 years 2 months ago
A Sound Polymorphic Type System for a Dialect of C
Geoffrey Smith, Dennis M. Volpano
APLAS
2010
ACM
13 years 2 months ago
A Certified Implementation of ML with Structural Polymorphism
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...
Jacques Garrigue
ICFP
1999
ACM
13 years 7 months ago
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
Atsushi Ohori, Nobuaki Yoshida
APLAS
2008
ACM
13 years 4 months ago
Sound and Complete Type Inference for a Systems Programming Language
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smi...
APLAS
2007
ACM
13 years 6 months ago
Polymorphic Delimited Continuations
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
Kenichi Asai, Yukiyoshi Kameyama