Search Sciweavers | Sciweavers

d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple

Val Tannen, Carl A. Gunter, Andre Scedrov

claim paper

Read More »

17

click to vote

LFP
1990

101views more LFP 1990»

A Module System for Scheme

13 years 7 months ago

Download www.psrg.lcs.mit.edu

This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...

Pavel Curtis, James Rauen

claim paper

Read More »

16

click to vote

LFP
1992

90views more LFP 1992»

Polymorphic Type Reconstruction for Garbage Collection Without Tags

13 years 7 months ago

Download www.cs.nyu.edu

Several papers ([Appe189],[Goldberg9 1]) have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism. They rely o...

Benjamin Goldberg, Michael Gloger

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers