Sciweavers

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

10

POPL
1989
ACM

favoriteEmaildiscussreport

67views Programming Languages» more POPL 1989»

The Modula-3 Type System

13 years 8 months ago

The Modula-3 Type System

Download lucacardelli.name

This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.

Luca Cardelli, James E. Donahue, Mick J. Jordan, B

Real-time Traffic

Detailed Description | POPL 1989 | Programming Language Modula-3 | Programming Languages | Type System |

claim paper

Related Content

» Expressing Object Residency Optimizations Using Pointer Type Annotations

» Typed Memory Management in a Calculus of Capabilities

» The Interaction of Access Control and ObjectOrientation in Extensible Systems

» A Comparison of OS Extension Technologies

» TypeBased Alias Analysis

» Safe Kernel Extensions Without RunTime Checking

» Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De B...

» Linear type theory for asynchronous session types

» Type inference and strong static type checking for Promela

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1989
Where	POPL
Authors	Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson

Comments (0)