Вы здесь

Главная

функциональный

Связанные издания:

An Improvement on the Automatic Tool for Relational Database Design
An integrated methodology for functional analysis, process design and database design
An Interactive Approach to Profiling Parallel Functional Programs
An Introduction to Functional Nets
An Introduction to LIFE-Programming with Logic, Inheritance, Functions, and Equations
An Introduction to the High-Level Language Standard ML
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
An Operational Semantics for a Parallel Functional Language with Continuations
A Note on Completeness of Patterns
A Note on Type Checking Linear Functional Languages
An Overview of LIFE
A Parallel Structure for Static Iterative Transformation Algorithms
A performance optimization technique for an object-oriented functional data model
A Polymorphic Language which is Typable and Poly-step
Application of the Polytope Model to Functional Programs
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Approximate Dependency Inference from Relations
Approximations d Evaluateurs Fonctionnels
A Provable Time and Space Efficient Implementation of NESL
A Purely Functional Language with Encapsulated Assignment
A Randomized Implementation of Multiple Functional Arrays
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages
A Relatonal Algebra for Functional Logic Deductive Databases
A RISC Processor Architecture with a Versatile Stack System
A Second Year Course on Data Structures Based on Functional Programming
A Semantic Account of Type-Directed Partial Evaluation
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types
A Semantics for Imprecise Exceptions
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
A Sheaf Semantics for FOOPS Experessions (Extended Abstract)
A Simple Implementation of Divide and Conquer Parallelism (Expressed in Haskell)
A Strafunski Application Letter
ASTRE: Towards a Fully Automated Program Transformation System
Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes
A Survey of Stream Processing
A Systematic Analysis of Splaying
A Systematic Study of Functional Language Implementation
A Taste of Linear Logic
A Taste of Rewrite Systems
A Taxonomy of Functional Language Implementations. Part I: Call by Value
A Term Pattern-Match Compiler Inspired by Finite Automata Theory
A Theory of Classes for a Functional Language with Effects
A Theory of Core Fudgets
A Tiny Constraint Functional Logic Language and Its Continuation Semantics
A Transformation System for Lazy Functional Logic Programs
A Type-Based Algoritm for the Control-Flow Analysis of Higher-Order Concurrent Programs
A Type-based Analysis for Stack Allocation in Functional Languages
A Type-Based Compiler for Standard ML
A Type-based Framework for Program Analysis
A Type Based Sharing Analysis for Update Avoidance and Bookkeeping Optimization