1. Functional Programming and P. Trinder, `Comparing Parallel functional languages programming and Performance',Higher Order and Symbolic Computation, to appear Compressed Postscript. http://www.cee.hw.ac.uk/Research/funct_prog.html

Functional Programming The information here is now largely superceded by the Dependable Systems Group page. However, links to copies of functional programming related papers will be retained here. For Glasgow Parallel Haskell details, see here Interpreters from functions and grammars The functional language Navel has been developed to enable the implementation of programming languages as interpreters from their formal semantics. Navel integrates grammar rules as first class values within a strict, run time typed, pure functional language with lazy list construction. Navel has also been used in the implementation of data strutures as self modifying functions, in particular constant space update queues and balanced binary trees. Functional prototyping for parallel implementation We have been elaborating a skeleton based approach to functional protyping for parallelism. Prototypes are constructed using higher order functions with equivalent parallel generic harnesses. Performance models for harnesses combined with prototype instrumentation enable the identification of useful parallelism: the corresponding harnesses are then instantiated. Where useful parallelism cannot be found, sequential code is produced. Program transformation techniques are applied to compositions of higher order functions to try and optimise sites of useful parallelism. Prototypes are written in Standard ML for implementation in occam2 on a Meiko Computing Surface. Functional prototyping was used in the SERC/EPSRC funded projects GR/F01833 (1989/92), for the rapid prototyping and parallel implementation of algorithms for high level image interpretation, and GR J07884 (1993/96), for the development of a large, reconfigurable, multi-source, parallel vision system. In the latter project, a complete intensity based 3D object recognition pilot system was developed from SML prototypes, as were major components for low and intermediate level image processing in the final system.

2. Publications U. Klusik, R. Loogen, G. Michaelson, R. Peña, S. Priebe, PW Trinder Comparing Parallelfunctional languages programming and Performance, submitted to Higher http://www.mathematik.uni-marburg.de/inf/eden/paper/

Publications of the Eden Project Language Report: Eden - Language Definition and Operational Semantics, Technical Report 96-10, Reihe Informatik, Fachbereich Mathematik und Informatik, Papers: H-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. Michaelson, R. Peña, S. Priebe, P.W. Trinder: Comparing Parallel Functional Languages: Programming and Performance submitted to Higher-order and Symbolic Computation Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio: Parallelism Abstractions in Eden, in: Patterns and Skeletons for Parallel and Distributed Computing, F.A. Rabhi and S. Gorlatch (eds), , Springer Verlag, November 2002, ISBN 1-85233-506-8. R. Pointon, St. Priebe, H.W. Loidl, R. Loogen, P.W. Trinder: Functional Vs Object-Oriented Distributed Languages in: Computer Aided Systems Theory - EUROCAST 2001, A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers. Springer LNCS 2178 Ricardo Peña, Fernando Rubio:

3. FPLE: Functional Programming Languages In Education A collection of information on the use of functional programming in teaching.Category Computers programming languages functional......functional programming languages in Education. About these pages. New Things. GeneralInformation on functional programming languages. comp.lang.functional. http://www.cs.kun.nl/fple/

Functional Programming Languages in Education About these pages New Things Teaching Material Conferences and Workshops ... Statistics on the FPLE Site About these pages Functional languages are gathering momentum in education because they facilitate the expression of concepts and structures at a high level of abstraction. The high level of abstraction makes functional languages very suited for teaching students how to program. It is the aim of these web pages to collect information on the use of functional programming in teaching. This covers important areas, such as algorithms and data structures, compiler construction, computer architecture, data base systems, computer graphics, mathematics, problem solving and the semantics of programming languages. Functional languages are to be understood here in a broad sense, including lazy and strict functional languages, languages with a powerful functional subset and algebraic specification formalisms. These pages are still under construction. Check the New Things page for updates and additions. Contributions and suggestions are of course welcome. Please send e-mail to

4. FAQ For Comp.lang.functional Comp.lang.functional is an unmoderated usenet newsgroup for the discussion ofall aspects of functional programming languages, including their design http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html

Frequently Asked Questions for comp.lang.functional Edited by Graham Hutton , University of Nottingham Version of 1st November 2002 New this month This document General topics Functional languages ... Sisal 0. New this month No changes this month. 1. This document Comp.lang.functional is an unmoderated usenet newsgroup for the discussion of all aspects of functional programming languages, including their design, application, theoretical foundation, and implementation. Articles posted to this (and other) newsgroups are archived on the web at: http://www.dejanews.com/ This document is a Frequently Asked Questions list (FAQ) for comp.lang.functional , and provides brief answers to a number of common questions concerning functional programming languages, and some pointers to relevant literature and internet resources. The latest version of this document is available on the web from: http://www.cs.nott.ac.uk/~gmh/faq.html Much of the information in this document has been taken from public sources, mostly from articles posted to comp.lang.functional

5. XML.com: Functional Programming And XML [Feb. 14, 2001] functional programming languages such as Haskell allow numerical algorithms to be expressed in a concise, machine http://www.xml.com/pub/a/2001/02/14/functional.html

Resources Buyer's Guide FAQs Newsletter ... Email article link Functional Programming and XML by Bijan Parsia February 14, 2001 (A French translation of this article is available). As is all too common in the programming world, much of the XML community has identified itself and all its works with object oriented programming (OOP). While I'm a fan of OOP, it's clear to me that even the best OOP-for-XML techniques aren't a panacea, and, moreover, there is an awful lot of ad hoc "objectification" which tends merely to make our lives more difficult and our programs less clear. This short-sightedness has two negative consequences: it tends to limit the techniques and tools we use, and it tends to restrict our understanding. For example, although the Document Object Model (DOM) satisfies few and inspires fewer, its status as a standard tends to inhibit (though, fortunately, not to suppress) exploration into alternative models and practices. The debate tends to revolve around "fixing" DOM, which is cast in terms of getting a better object model. While a better object model would be nice, it's important to keep in mind that XML is neither historically nor inherently object-oriented. Thinking otherwise may lead you to perceive or anticipate a better fit than you actually get.

6. Readscheme.org - Functional Programming Resources A variety of research resources on functional programming languages, implementation, and applications of functional programming languages. http://readscheme.org/

Inside readscheme.org... Bibliography of Scheme-related Research Online Bibliography of Haskell Research A Mini-bibliography on Module Systems for Functional Programming Languages A Reading List on XML and Web Programming in Functional Programming Languages ... About this site This site is maintained by Jim Bender This page was generated on Friday, September 27th, 2002 9:45:21pm.

7. Ian Stark University of Edinburgh Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages. http://www.dcs.ed.ac.uk/~stark/

Research Teaching Contact Ian Stark I am a Computer Science lecturer in the Division of Informatics at the University of Edinburgh . I'm also Deputy Director of the Laboratory for Foundations of Computer Science Before coming to Edinburgh I was in the BRICS research group at the Computer Science Department of Aarhus University, Denmark; prior to that in Italy at the University of Pisa ; and I did my doctorate at the University of Cambridge Computer Laboratory Wednesday 15 August 2001 Research Publications TACS 2001 Reasoning with Names Mobile Resource Guarantees Students: Tom Chothia Sam Lindley Ulrich Schöpp My work is on the "formal semantics of computation": giving a mathematical meaning to programs, and then using this to reason about their behaviour. More specifically, my mathematical research is in the areas of category theory, domain theory and structural operational semantics. My programming interests are with functional languages like ML and Haskell ; in particular their extension with imperative features like state, mutable storage cells and dynamically created names. I am also interested in the interaction between functional programming and concurrency; with aspects like communication, distribution and mobility, as expressed in systems like the pi-calculus . I've done some work on mathematical models for the pi-calculus, and on a variant involving

8. IFL'99 Home Page aim of these workshops is to bring together researchers actively engaged in theimplementation and application of functional programming languages to discuss http://www.cs.kun.nl/~pieter/ifl99/

Computing Science Institute Nijmegen University The Netherlands Implementation of Functional Languages 11th. International Workshop (IFL'99) The Netherlands Tuesday, September 7th - Friday, September 10th 1999 ifl99@cs.kun.nl Welcome to the IFL'99 site. The IFL workshops are a tradition that has lasted for over a decade. The aim of these workshops is to bring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. IFL'99 will be held in the Netherlands and hosted by the Computing Science Institute of Nijmegen University , the Netherlands. Date: 7-10 September 1999. As agreed last year in London, this workshop will be four days to incorporate the talks about parallel functional programming that were in a separate mini workshop in 1998. The intention is to start early on Tuesday 7 September (about 9 AM) and to finish friday 10 September at tea time. New Call for papers for the final proceedings (Springer LNCS) Springer has agreed to publish a selection of the papers asociated to talks given at the workshop. In order to have you paper in this formal proceedings you should submit it as postscript to

9. Lennart Augustsson Chalmers University of Technology functional programming and implementation of functional programming languages, Haskell. http://www.cs.chalmers.se/~augustss/

Lennart Augustsson (If you really want to see, then there are more pictures of me I am a lecturer ("lektor") at the Computing Science Department at Chalmers University of Technology Currently I only work 40% at Chalmers, the rest of the time I work at In the fall of 1999 I teach Advanced Functional Programming Research Interests Functional programming and implementations of functional languages. These days mostly Haskell (and here's a picture illustrating Haskell :-). The HBC compiler is the result of parts of this work. Lately I've been tinkering with (i.e. designing and implementing) a Haskell like language with dependent types, Cayenne Likeminded people can be found in the functional programming group here. I am a founding member of the IFIP WG 2.8 on Functional Programming and a member of the editorial board of The Journal of Functional Programming How to reach me Email: augustss@cs.chalmers.se Phone: work +46 31 772 1042, home +46 31 825273, GSM +46 706 887836 (which reaches my Nokia 6110 ) You can (maybe) send me an urgent SMS message.

10. The WWW Virtual Library: Computing, Programming Languages Links to information on programming languages. Even the most obscure language will be listed here. proving properties of programming languages and logics. Erlang. Concurrent functional programming language for large http://src.doc.ic.ac.uk/bySubject/Computing/Languages.html

Virtual Library Computing Computer Programming Languages. Below are pointers to some on-line reference information about computer languages. Subsections are maintained by different individuals. Mail wizards@doc.ic.ac.uk for additions to this list. ABC A Short Introduction to the ABC Language with links to other ABC resources. Ada Information on the language Ada is at Ada WWW. AdaSAGE training and user group information. Basic, Visual. Usenet Frequently Asked Questions. BETA Frequently Asked Questions. C The Degener C collection of papers and information about C. The VMS/C help is good on the language and run-time functions Usenet Frequently Asked Questions. C++ C++ documentation and sources, and C++ for physicists. Elisp Emacs lisp language full documentation. Cecil Cecil is a new purely object-oriented language intended to support rapid construction of high-quality, extensible software. Cecil combines multi-methods with a simple object model, module-based encapsulation, and optional static type checking. COBOL CO mercial B uisness O riented L anguage.

11. Functional Programming In The Real World a list of functional programs applied to realworld tasksCategory Computers programming languages functional...... programming. functional is used in the broad sense that includes both `pure' programs(no side effects) and `impure' (some use of side effects). languages http://www.research.avayalabs.com/user/wadler/realworld/

Functional Programming in the Real World Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming. Functional is used in the broad sense that includes both `pure' programs (no side effects) and `impure' (some use of side effects). Languages covered include CAML, Clean, Erlang, Haskell, Miranda, Scheme, SML, and others. Further entries are solicted. To submit an entry, please copy the HTML source of this sample and fill in your own details, then send by email to the address below. If in doubt whether your application is suitable for the list, please ask. This list was originally inspired by a Dagstuhl workshop in May 1994 on Functional Programming in the Real World , organised by Robert Giegerich and John Hughes. The list was originated by Philip Wadler, who currently maintains it. Thanks are due to our previous maintainers, Andy Gill and Jonathan Hogg Quite a few libraries exist for various languages, many of which include some impressive real-world applications. Have a look at:

12. The Functional Logic Language Curry Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic languages. http://www.informatik.uni-kiel.de/~curry/

A Truly Integrated Functional Logic Language Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming . Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages : "residuation" and "narrowing" (you find here a survey on functional logic programming). Curry combines in a seamless way features from functional programming (nested expressions, higher-order functions, lazy evaluation), logic programming (logical variables, partial data structures, built-in search), and concurrent programming (concurrent evaluation of expressions with synchronization on logical variables). Moreover, Curry provides additional features in comparison to the pure languages (compared to functional programming: search, computing with partial information; compared to logic programming: more efficient evaluation due to the deterministic and demand-driven evaluation of functions). The development of Curry is an international initiative intended to provide a common platform for the research, teaching and application of integrated functional logic languages. The design of Curry is mainly discussed in the

13. Functional Logic Programming This document lists online resources pertaining to the use of graphical, iconic or other non-linear representations to design, specify or code computer programs. congnitive aspects of programming languages, including visual programming languages. KOGGE, KOblenz Clarity, a functional visual programming language developed at the Department of http://www-i2.informatik.rwth-aachen.de/~hanus/FLP

Functional Logic Programming Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming . In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. Early research in this area has been concentrated on the definition and improvement of appropriate execution principles for functional logic languages. In recent years efficient implementations of these execution principles have been developed. You can look into a survey of this area. Languages, Implementations Curry: a proposal for a standard in functional logic programming Mailing list Workshops, Conferences, Journals ... Related subjects Please mail to Michael Hanus if you know relevant information not included here.

14. Functional Programming On The Web of functional programming This is a list of programs written primarily to geta task done, rather than just to experiment with functional languages. http://www.research.avayalabs.com/user/wadler/guide.html

A Guide to Functional Programming on the Web Philip Wadler, University of Glasgow, July 1996 Here's a review of some relevant web sites, useful or othewise. A Frequently Asked Questions list Mark Jones originated and Graham Hutton maintains this excellent functional programming FAQ. It answers questions ranging from basic (`Are there any books about functional programming?') to not-so-basic (`What is a monad?'). It includes links to sites describing the following languages: ASpecT, Caml, Clean, Erlang, FP, Gofer, Haskell, Hope, Hugs, Id, IFP, J, Miranda(TM), ML, NESL, OPAL, Oz, Pizza, Scheme, and Sisal. It also has links to bibliographies, meetings, active research groups, and other resources. The functional programming newsgroup This group is unmoderated, and a mixed bag. The best thing about it is its FAQ, cited above. Otherwise, much dross with a few gems. Discussion largely consists of novice questions, sometimes answered ineptly by other novices, sometimes answered superbly by experts. There is the occasional flamewar, and, rarely, a novel insight. Post here if you have a question not answered by the FAQ; otherwise, it may be better to give it a miss. Functional programming conference list The Queen Mary and Westfield CS department run this list. They allow anyone to make an entry via a form, and as a result some entires are untimely or unrelated to the topic. The list of meetings in the FAQ, cited above, may be a better bet.

15. The Mercury Project: Introduction New logic/functional programming language. Combines clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution is far faster than extant logic languages, and near that of procedural languages. Free software, GPL. http://www.cs.mu.oz.au/research/mercury/

The Mercury Project Introduction Home News Information Documentation ... Search What is Mercury? Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry. Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. Latest News [24 Dec 2002] Mercury 0.11.0 released Release information is available here [12 November 2002] New Paper

16. Functional Programming - Wikipedia Furthermore, functional programming languages try to enforce referential transparency,which is the familiar notion that 'equals can be substituted for equals http://www.wikipedia.org/wiki/Functional_programming

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Other languages: Polski Functional programming From Wikipedia, the free encyclopedia. Functional programming , as opposed to imperative programming , is a programming paradigm that emphasizes the evaluation of functional expressions, rather than execution of commands. The expressions in these languages are formed by using functions to combine basic values. The functions alluded to in the title are mathematical functions . Mathematical functions have great strengths in terms of flexibility and in terms of analysis. For example if a function is known to be idempotent , then a call to a function which has itself as its argument, and which is known to have no side-effects , may be efficiently computed without multiple calls.

17. Addison-Wesley Book compares over 70 languages, and main classes imperative, functional, objectoriented, dataflow, concurrent, declarative, aggregate. By Raphael Finkel, Addison-Wesley. http://www.awprofessional.com/catalog/product.asp?product_id={92E30B39-5D91-45F9

18. The International Conference On Functional Programming (ICFP) International Conference on functional programming a new annual programming language conference combinin Category Computers Computer Science Conferences...... FPCA) conferences into a unified annual meeting devoted to the design, analysis,implementation, and application of functional programming languages. http://www.math.luc.edu/icfp/

The International Conference on Functional Programming (ICFP) (Be sure to visit our ICFP 2003 pages too!) ICFP (International Conference on Functional Programming) is a new annual programming language conference combining two former biennial conferences: Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP). It is sponsored by the Association for Computing Machinery under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Processing (IFIP). This page is designed to be a permanent home for information about, or relevant to, ICFP. As well as information about the conference itself, it contains pointers to journals, other conferences, language implementations, research groups, and so on, that may be of interest to functional programmers. Please email suggestions for other things that might be included, or URLs to add to lists already included, to Contents Scope The ICFP Steering Committee which gives year-to-year continuity to the conference.

19. Wolfgang Naraschewski Technische Universit¤t M¼nchen Automatic and interactive theorem proving, verification of object-oriented programs, foundations of object-oriented programming, type systems for functional programming languages. http://isabelle.in.tum.de/~narasche/

20. Functional Programming Languages functional programming languages. functional programming. The newsgroup also hasa FAQ. A list of applications written in functional programming languages. http://www.math.luc.edu/~mjm/pl/langs/fp.html

Functional Programming Languages Functional Programming The comp.lang.functional newsgroup discusses all aspects of functional languages. The newsgroup also has a FAQ A list of applications written in functional programming languages. The Google page on Functional Programming Languages Haskell The official Haskell website This has links to many useful sites, including most of the sites below. It has a page on Learning Haskell , including a link to the Gentle Introduction to Haskell The Haskell Companion Describes/defines elements of Haskell and functional programming. (This seems to have disappeared.) The Haskell Report defines the Haskell language. Haskell is named after the logician Haskell Curry Hugs Hugs is an implementation of a (large) subset of Haskell. Hugs 98 is the implementation of Haskell 98. Introductory notes on using Hugs. Hugs Online You can download your own copy of Hugs from here. Explanation of some Hugs error messages The value of this should be obvious! The Hugs 98 Users manual Hugs is available in the labs (under Programming Tools). ML ML is another functional programming language. It has many differences from Haskell, including a different syntax and the use of eager evaluation. We will not be programming in this language.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 104    1  | 2  | 3  | 4  | 5  | 6  | Next 20