Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus
Abstract elided by the publisher.
976 papers · page 43 of 49
Lambda-Definition of Function(al)s by Normal Forms
Abstract elided by the publisher.
Simulation of SOS Definitions with Term Rewriting Systems
Abstract elided by the publisher.
Strategies in Modular System Design by Interface Rewriting
Abstract elided by the publisher.
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization
Abstract elided by the publisher.
Compilation of Head and Strong Reduction
Abstract elided by the publisher.
Suffix Trees in the Functional Programming Paradigm
Abstract elided by the publisher.
Type Classes in Haskell
Abstract elided by the publisher.
Lazy Type Inference for the Strictness Analysis of Lists
Abstract elided by the publisher.
Lazy Unification with Simplification
Abstract elided by the publisher.
Polymorphic Binding-Time Analysis
Abstract elided by the publisher.
Shapely Types and Shape Polymorphism
Abstract elided by the publisher.
Bottom-up Grammar Analysis - A Functional Formulation
Abstract elided by the publisher.
First-Class Polymorphism for ML
Abstract elided by the publisher.
Dimension Types
Abstract elided by the publisher.
A Synergistic Analysis for Sharing and Groundness with Traces Linearity
Abstract elided by the publisher.
A pi-Calculus Specification of Prolog
Abstract elided by the publisher.
A Logical Framework for Evolution of Specifications
Abstract elided by the publisher.
A Semantics for Higher-Order Functors
Abstract elided by the publisher.
Pi-Nets: A Graphical Form of pi-Calculus
Abstract elided by the publisher.