A Calculus for Link-Time Compilation
Abstract elided by the publisher.
976 papers · page 39 of 49
Improving the Representation of Infinite Trees to Deal with Sets of Trees
Abstract elided by the publisher.
On the Translation of Procedures to Finite Machines
Abstract elided by the publisher.
A Kleene Analysis of Mobile Ambients
Abstract elided by the publisher.
Functional Nets
Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in Join calculus. This paper presents functional nets, reviews Join calculus, and shows how the two relate.
A 3-Part Type Inference Engine
Abstract elided by the publisher.
First-Class Structures for Standard ML
Abstract elided by the publisher.
Constraint-Based Inter-Procedural Analysis of Parallel Programs
Abstract elided by the publisher.
Polyvariant Flow Analysis with Constrained Types
Abstract elided by the publisher.
Alias Types
Abstract elided by the publisher.
On Exceptions Versus Continuations in the Presence of State
Abstract elided by the publisher.
Equational Reasoning for Linking with First-Class Primitive Modules
Abstract elided by the publisher.
Constructor Subtyping
Abstract elided by the publisher.
A Decidable Logic for Describing Linked Data Structures
Abstract elided by the publisher.
An Operational Investigation of the CPS Hierarchy
We explore the hierarchy of control induced by successive transformations into continuation-passing style (CPS) in the presence of "control delimiters" and "composable continuations". Specifically, we investigate the structural operational semantics associated with the CPS hierar…
Types for Safe Locking
Abstract elided by the publisher.
Types and Subtypes for Client-Server Interactions
Abstract elided by the publisher.
Functional Reactive Programming (Abstract)
Abstract elided by the publisher.
Polytypic Compact Printing and Parsing
Abstract elided by the publisher.
Quotienting Share for Dependency Analysis
Abstract elided by the publisher.