Вы здесь

Главная

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

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

1+1=1 : An Optimizing Caml Compiler
1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 96). Proc./Philadelphia, Pennsylvania, May 24-26, 1996
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. Ada Volume 1. Basic Mechanisms including Object Management System
A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. C Volume 2. User Interface
A Better XML Parser through Functional Programming
About primitive recursive algorithms
A Broader Class of Trees for Recursive Type Definitions for HOL
Abstract Diagnosis of Functional Programs
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstract Interpretation by Dynamic Partitioning
Abstract Polymorphism and Code Reuse
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in SAC
A Case Study in the Parallel Implementation of Functional Languages Using Skeletons
A Comparative Analysis of Functional Correctness
A Compiler for HDC
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Computational Model for Functional Logic Deductive Databases
A Concurrent Generational Garbage Collector for a Parallel Graph Reducer
A Confluent Relational Calculus for Higher-Order Programming with Constraints
A Construction of Typed Lambda Models Related to Feasible Computability
A Correspondence between Continuation Passing Style and Static Single Assignment Form
A Critical Look at Functional Specifications
Adding Linear Constraints over Real Numbers to Curry
Adding Real Time to Formal Program Development
Adding Traces to a Lazy Monadic Evaluator
A Debugging Environment for Functional Programming in Centaur
A Debugging Model for Functional Logic Programs
A Definition Approach to Functional Logic Programming
A Definition of an ISWIM-like Language Via Scheme
A Demand Driven Computation Strategy for Lazy Narrowing
A Design Methodology for Functional Programs
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order -Calculus
A Direct Semantic Characterization of RELFUN
Advanced Functional Programming: Revised Lectures/ Third International School, AFP 98, Braga, Portugal, September 1998
Advanced Functional Programming: Tutorial Text/First Intern. Spring School on Advanced Functional Programming Techniques. Bastad, Sweden, May 1995
Advanced Functional Programming: Tutorial Text/ Second International School. Olympia,WA,USA,August 1996
A Family of Data-Parallel Derivations
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables
A Functional Approach for Formalizing Regular Hardware Structures
A Functional Approach for Temporal x Modal Logics
A Functional Approach to Database Updates
A Functional Compiler Specification and its Direct Implementation into SML
A Functional Correctness Model of Program Verification
A Functional Database
A Functional FOR Loop
A Functional Language with Classes