Modeling abstract types in modules with open existential types

14 years 5 months ago

Download gallium.inria.fr

Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types that is an ex

Benoît Montagu, Didier Rémy

Real-time Traffic

Open Existential Types | POPL 2009 | Programming Languages |

claim paper

Related Content

» Recursive type generativity

» The rational numbers as an abstract data type

» A Nominal Theory of Objects with Dependent Types

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» Statedependent representation independence

» AGAPIA v01 A Programming Language for Interactive Systems and Its Typing System

» A Behavioral Type Inference System for Compositional SystemonChip Design

» Realizability Semantics of Parametric Polymorphism General References and Recursive Types

» TypeSafe Linking and Modular Assembly Language

Post Info
More Details (n/a)

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2009
Where	POPL
Authors	Benoît Montagu, Didier Rémy

Comments (0)

Sciweavers

Modeling abstract types in modules with open existential types

Open Existential Types | POPL 2009 | Programming Languages |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers