The following pages link to (Q3992669):
Displaying 26 items.
- Object-oriented programming, functional programming and \texttt{R} (Q257678) (← links)
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Algebraic optimization of object-oriented query languages (Q688667) (← links)
- Functional programming with side-effects (Q1082790) (← links)
- Rule-based induction (Q1334895) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Conversion to tail recursion in term rewriting (Q2436518) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- More efficient left-to-right matching for overlapping pattern (Q2569399) (← links)
- Functional programming framework for \textit{GRworkbench} (Q2572516) (← links)
- Efficient polymorphic calls (Q2736182) (← links)
- Translation Correctness for First-Order Object-Oriented Pattern Matching (Q3498433) (← links)
- (Q3523332) (← links)
- Funktionale und Applikative Programmierung (Q3598202) (← links)
- Functional programming. Practice and theory (Q3992670) (← links)
- (Q3999576) (← links)
- (Q4023827) (← links)
- (Q4029598) (← links)
- (Q4223591) (← links)
- (Q4274972) (← links)
- Algorithms for Functional Programming (Q4558906) (← links)
- Third-order matching in the polymorphic lambda calculus (Q4645813) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)
- Functional programming with graphs (Q5348865) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
