Bazsites.com Functional
Directory Topics
On the Web
- ICFP 2002 - The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages. October 4-6, 2002 Pittsburgh, PA, USA.
- Sounds Logical's M-Utilities - [commercial] A collection of useful MATLAB "utility" functions including the following: a "winuigetfolder" function, an open browser function, a hard-disk size query function, and a range of window manipulation functions.
- The Pizza Compiler - Java extension with functional features: generics (parametric polymorphism), function pointers (first-class (higher-order) functions), class cases and pattern matching (algebraic (data)types).
- Readscheme.org - Resources for Functional Programming - A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.
- Kalkulator - Offers standard functions, like logarithmic and exponential, trigonometric and inverse, hyperbolic and inverse, square, cube, and corresponding roots; Euler functions; statistical distribution functions; and user-defined functions. [Win95/98/Me/NT/2000]
- PCOMP -- Modelling language with automatic differentiation - PCOMP reads symbolically defined nonlinear functions that are composed of standard elementary functions, and precompiles them. Subsequently function and, in particular, derivative values up to order two can be computed directly, i.e. without numerical approximation or symbolic differentiation. Alternatively FORTRAN-code for function and gradient evaluation can be generated by PCOMP.
- Function.Name - A reference book of functions and languages. You will find descriptions of these languages, and also can independently add descriptions to languages and functions. Manuals for PHP, Python, Ruby, C, Assembler and others.
- RELFUN - Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeeding with true(s), or footed, returning any value(s), and define operations (relations, functions) allowing (apply-reducible) higher-order syntax with arbitrary terms (constants, structures, variables) as operators.
- Genome-scale Functional Profiling - Instructions on establishing high-throughput cDNA/siRNA functional profiling systems.
- ALF - Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
Wikipedia Articles
- Non-functional tests - Non-functional testing is the testing of a software application for its non-functional requirements. The names of many non-functional tests are often used interchangeably because of the overlap in scope between various non-functional requirements.
- Total functional programming - Total functional programming (also known as strong functional programmingThis term is due to: ., to be contrasted with ordinary, or weak functional programming) is a programming paradigm which restricts the range of programs to those which are provably terminating.
- Hybrid functional - A hybrid functional is an exchange-correlation functional used in density functional theory (DFT) that incorporates a portion of exact exchange from Hartree-Fock theory with exchange and correlation from other sources (ab initio, such as LDA, or empirical).
- Journal of Functional Programming - The Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages], spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications.
- Functional flowchart - A functional flowchart is a diagram of a web site as a whole that shows page elements, relationships between pages, as well as processes and rules associated with the functions of the site. The functional flowchart shows the cognitive architecture of the site in great detail and is the basis for functional templates.