Dynamic Typing
Abstract elided by the publisher.
976 papers · page 45 of 49
Automatic Parallelization of Lazy Functional Programs
Abstract elided by the publisher.
Reversing Abstract Interpretations
Abstract elided by the publisher.
A Theory of Qualified Types
Abstract elided by the publisher.
A Semantics for Multiprocessor Systems
Abstract elided by the publisher.
Interprocedural Type Propagation for Object-Oriented Languages
Abstract elided by the publisher.
Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study
Abstract elided by the publisher.
The Tensor Product in Wadler's Analysis of Lists
Abstract elided by the publisher.
Basic Superposition is Complete
We define equality constrained equations and clauses and use them to prove the completeness of what we have called basic superposition: a restricted form of superposition in which only the subterms not created in previous inferences is superposed upon. We first apply our results …
Type Inference for Partial Types is Decidable
Abstract elided by the publisher.
Observers for Linear Types
Abstract elided by the publisher.
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated compilers emit absolute code for an abstract RISC machine language that currently is assembled into code …
An Adequate Operational Semantics for Sharing in Lazy Evaluation
Abstract elided by the publisher.
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft
Abstract elided by the publisher.
Typing References by Effect Inference
Abstract elided by the publisher.
Types in Lambda Calculi and Programming Languages
Abstract elided by the publisher.
Implementation of an Interpreter for a Parallel Language in Centaur
Abstract elided by the publisher.
Automatic Autoprojection of Higher Order Recursive Equations
Abstract elided by the publisher.
From Interpreting to Compiling Binding Times
Abstract elided by the publisher.
Type Inference for Action Semantics
In a series of papers [11,12,13,14,15,25,26], Mosses and Watt defme action semantics, a metalanguage for high level, domain-independent formulation of denotational semantics definitions. Action semantics was designed to support readability, abstraction, modularity, and modifiabil…