Implementation of Lazy Pattern Matching Algorithms
Abstract elided by the publisher.
976 papers · page 48 of 49
Extending Functional Programming Towards Relations
Abstract elided by the publisher.
Enhancing Prolog to Support Prolog Programming Environments
Abstract elided by the publisher.
2-level lambda-lifting
Abstract elided by the publisher.
Programming with Proofs: A Second Order Type Theory
Abstract elided by the publisher.
Semantics-Based Program Integration
Abstract elided by the publisher.
QPC: QJ-based Proof Compiler - Simple Examples and Analysis
Abstract elided by the publisher.
Deforestation: Transforming Programs to Eliminate Trees
Abstract elided by the publisher.
On Implementing Logic Programming Languages on a Dataflow Architecture
Abstract elided by the publisher.
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine
Abstract elided by the publisher.
Algebraic Semantics of Exception Handling
Abstract elided by the publisher.
Design and Implementation of a Generic, Logic and Functional Programming Language
Abstract elided by the publisher.
Reducing Recursion to Iteration by Algebraic Extension
Abstract elided by the publisher.
A Classical Implementation for Prolog-II
Abstract elided by the publisher.
A Very Intelligent Backtracking Method for Logic Programs
Abstract elided by the publisher.
The Choice of Programming Primitives for SETL-Like Programming Languages
Abstract elided by the publisher.
Compiler Generation from Relational Semantics
Abstract elided by the publisher.
A General Approach to the Optimization of Function Calls
Abstract elided by the publisher.
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution
Abstract elided by the publisher.
Another Implementation Technique for Applicative Languages
Abstract elided by the publisher.