Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

SCP
1998

favoriteEmaildiscussreport

68views more SCP 1998»

A Sound Polymorphic Type System for a Dialect of C

13 years 11 months ago

A Sound Polymorphic Type System for a Dialect of C

Download users.cs.fiu.edu

Geoffrey Smith, Dennis M. Volpano

Real-time Traffic

SCP 1998 |

claim paper

Related Content

» A Certified Implementation of ML with Structural Polymorphism

» Type Inference with Rank 1 Polymorphism for TypeDirected Compilation of ML

» Sound and Complete Type Inference for a Systems Programming Language

» Polymorphic Delimited Continuations

» Coercions in a polymorphic type system

» Polymorphic Type Inference and Assignment

» Type Reconstruction with FirstClass Polymorphic Values

» A Generalization of Hybrid LetPolymorphic Type Inference Algorithms

» A Compilation Method for MLStyle Polymorphic Record Calculi

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	SCP
Authors	Geoffrey Smith, Dennis M. Volpano

Comments (0)