Advertisers
|
Sponsors
|
Functional programming - Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. It is more heavily used in academia than in industry.
International Conference on Functional Programming Contest - The ICFP Contest is an annual international programming competition associated with the International Conference on Functional Programming.
Monads in functional programming - Some functional programming languages, particularly Haskell, make use of the monad concept from category theory, a branch of mathematics that describes patterns applicable to many mathematical fields.
List of functional programming topics - This is a list of functional programming topics, by Wikipedia page.
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 ...
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.
Readscheme.org - Resources for Functional Programming - A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.
Source: BazSites.com
Computer Training Program - Computer Training Program Safety Training Methods: Practical Solutions for the Next Millennium by Jack B. Revelles, The need for health and ... and techniques and offers clear, step-by-step guidelines to virtually every phase of a comprehensive safety training program, including new employee and supervisor orientation; training calendars, course ratings, and computer-generated overheads and other training ...
Shoebox Program - Shoebox Program Mastering Mathematica: Programming Methods and Applications with CDROM by John W. Gray, This new edition of Mastering "Mathematica" focuses on ...
Computer Part Function - Computer Part Function Logic and Computation: Interactive Proof with Cambridge Lcf by L. C. Paulson, Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with ...
Affiliate Computer Program Software - Affiliate Computer Program Software Programming the Network With Perl by Paul Barry, It is no longer enough for today's software engineers ...
Affiliate Computer Program Software - Affiliate Computer Program Software Programming the Network With Perl by Paul Barry, It is no longer enough for today's software engineers ...
Plesk Program Reseller - Plesk Program Reseller Joy of C, with Disk: Programming in C by Lawrence Miller, X Why Postpone Joy? You could spend a lot of time looking ...
Cleaning Computer Dry Pos Program - Cleaning Computer Dry Pos Program The Subtlety of Sameness: A Theory and Computer Model of Analogy-Making by Robert M. French, The research ... making is the idea that the building-up and the manipulation of representations are inseparable aspects of mental functioning, in contrast to traditional AI models of high-level cognitive processes, which have almost always depended on ...
Shoebox Program - Shoebox Program Mastering Mathematica: Programming Methods and Applications with CDROM by John W. Gray, This new edition of Mastering "Mathematica" focuses on ...
Copyright 2006-2008.Online Shopping All Rights Reserved.