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. Eden: Parallel Functional Programming Trinder. Comparing parallel functional languages programming and performance.Higherorder and Symbolic Computation, 16(3), 2003. http://www.mathematik.uni-marburg.de/~eden/index.php?content=description

3. The Haskell Home Page 5th International Summer School on Advanced functional programming; Tartu, Estonia,14 Workshop on Implementation and Application of functional languages (IFL 04 http://www.haskell.org/

@import "haskell-org.css"; Haskell is a general purpose, purely functional programming language. Haskell compilers are freely available for almost any computer. A Short Introduction to Haskell Learning Haskell Haskell in Education History of Haskell ... Merchandise News ICFP programming contest ; 4 June - 7 June 2004 5th International Summer School on Advanced Functional Programming ; Tartu, Estonia, 14-21 August 2004. Early registration deadline: 14 May; late registration deadline: 9 July 2004. 16th International Workshop on Implementation and Application of Functional Languages (IFL'04) ; September 8th - 10th, 2004, Luebeck, Germany. Registration deadline: 31 July 2004; submission deadline: 20 August 2004. The 2004 International Conference on Functional Programming (ICFP) ; Snowbird, Utah, USA; September 19-22, 2004. Submission deadline: 1 April 2004. 2004 Haskell Workshop ; Snowbird, Utah, USA; 22 September, 2004. Submission deadline: 4 June 2004. Old news This web site is a service to the Haskell community. The site is maintained by John Peterson and Olaf Chitil . Suggestions, comments and new contributions are always

4. 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 [21 January 2004] New PhD thesis A new PhD thesis on the Mercury mode system, Precise and Expressive Mode Systems for Typed Logic Programming Languages by David Overton, is now available from our

5. FPLE: Functional Programming Languages In Education 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

6. Researchers In Programming Languages And Compilers Researchers in programming languages and Compilers. Last Name ABCDEFGHIJKLMNOPQRSTUVWXYZ. Back to the language research page. Related Pages. The SELHPC list of home pages of functional language researchers. applications integration of functional and logic programming languages abstract interpretation, program collection of mostly functional programming languages. Zena Matilde Ariola http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-people.html

Researchers in Programming Languages and Compilers Below are links to home pages of researchers working on programming language theory, design, implementation, and related areas. this list is not exhaustive! Please let me know if you would like to be added to this list , or if you would like an existing entry modified or deleted. Last Name: A B C D ... Z Back to the language research page Related Pages The SEL-HPC list of home pages of functional language researchers The SEL-HPC list of home pages of compiler researchers Oscar Nierstrasz's list of useful home pages Who's Who on the Web in Formal Methods Researchers in Logical Frameworks Semantics-Based Program Analysis and Manipulation researchers Home Pages - DEC SRC Security in distributed systems, specification and verification methods, principles of programming languages. Samson Abramsky - University of Edinburgh Semantics of programming languages, concurrency, game semantics, program analysis. Gul Agha - University of Illinois at Urbana-Champaign Logic, object-oriented programming, formal semantics, actors. Alex Aiken - Berkeley Program analysis, type theory, optimization, constraint theories, functional programming, instruction scheduling.

7. Functional Programming In The Real World Lists functional programs written primarily to perform to realworld tasks. Has pure programs (no side effects) and impure (some use of side effects). languages Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML. http://homepages.inf.ed.ac.uk/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:

8. XML.com: Functional Programming And XML [Feb. 14, 2001] XML is generally declarative, as are functional programming languages.XML is a metalanguage a language for defining languages. http://www.xml.com/pub/a/2001/02/14/functional.html

Resources Buyer's Guide Newsletter Safari Bookshelf Download Stylus Studio - The World's Best XML Editor Business Databases Graphics ... Scripts Traveling to a Tech Show? New York City Hotels Canada Hotels Chicago Hotels Hotel Discounts ... Hotel Rooms XML.com supported by: Debt Consolidation Loans Home Refinance Print 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.

9. 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 Last modified: Monday, March 15th, 2004 7:47:51pm HTML generated using WebIt!

10. FAQ For Comp.lang.functional of all aspects of functional programming languages, including their design, application of common questions concerning functional programming languages, and some pointers to http://www.cs.nott.ac.uk/~gmh/faq.html

Frequently Asked Questions for comp.lang.functional Edited by Graham Hutton , University of Nottingham Version of November 2002 no longer being updated This document General topics Functional languages History and motivation ... Sisal 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

11. About Haskell functional programming languages, such as Haskell, can make it easier and cheaper. functionalprogramming languages are used in substantial applications. http://www.haskell.org/aboutHaskell.html

@import "http://haskell.org/haskell-org.css"; About Haskell Haskell is a computer programming language. In particular, it is a polymorphicly typed, lazy, purely functional language, quite different from most other programming languages. The language is named for Haskell Brooks Curry , whose work in mathematical logic serves as a foundation for functional languages. Haskell is based on lambda calculus , hence the lambda we use as a logo. Why Use Haskell? Writing large software systems that work is difficult and expensive. Maintaining those systems is even more difficult and expensive. Functional programming languages, such as Haskell, can make it easier and cheaper. For example, a new user who wrote a small relational DBMS in Haskell had this to say: WOW! I basically wrote this without testing just thinking about my program in terms of transformations between types. I wrote the test/example code and had almost no implementation errors in the code! The compiler/type-system is really really good at preventing you from making coding mistakes! I've never in my life had a block of code this big work on the first try. I am WAY impressed. Haskell, a purely functional programming language, offers you:

12. Ian Stark - University Of Edinburgh 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/

Ian Stark Lecturer in Computer Science Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh Edinburgh EH9 3JZ Scotland Photograph Email: Ian.Stark@ed.ac.uk Phone: +44 (131) 650 5143 (Work) +44 (131) 228 4101 (Home) Fax: Office: JCMB 2506 Research Other pages list my publications and some talks EPSRC Advanced Research Fellowship on Mathematical Models for Concurrent and Mobile Computation . I am also involved with the following research projects: Mobile Resource Guarantees Edinburgh .NET lab Reasoning with Names and Identity in Programming Languages APPSEM II : European network for Applied Semantics MLj : A compiler for Standard ML which produces Java bytecodes PhD students: Uli Schöpp Sam Lindley Tom Chothia (completed 2002) I am second supervisor for Rob Atkey Jonathan Cook Shin-Ya Katsumata Alex Blewitt and Francis Tang completed 2002 Teaching I'm not giving any undergraduate lecture courses for the duration of my EPSRC research fellowship. Here are some past courses. Advanced Programming in Java Language Processing Computer Literacy: Algorithms and Programs.

13. Functional Programming - Wikipedia, The Free Encyclopedia 3 Comparison with imperative programming. 4 functional programming languages. 5 Greater expressiveness now found in modern functional programming languages. Scheme was a later http://www.wikipedia.org/wiki/Functional_programming

Functional programming From Wikipedia, the free encyclopedia. Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions In contrast to imperative programming , functional programming 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. Table of contents 1 Introduction 2 History 3 Comparison with imperative programming 4 Functional programming languages ... edit Introduction 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. f(x) = x is defined in terms of the power and addition functions. At some point, the language has to provide basic functions that require no further definition. Functions can be manipulated in a variety of ways in a functional programming language. Functions are treated as first-class values, which is to say that functions can be parameters or inputs to other functions and can be the return values or outputs of a function. This allows functions like

14. 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 November 2002 no longer being updated This document General topics Functional languages History and motivation ... Sisal 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

15. 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.

16. Functional Programming In The Real World functional programming in the Real World. Here is a list of functional programs applied to realworld tasks. 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://cm.bell-labs.com/~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:

17. Functional Programming - Wikipedia, The Free Encyclopedia functional programming languages. Conception, Evolution, and Application of functionalprogramming languages. ACM Computing Surveys 21, no. 3 (1989) 359411. http://en.wikipedia.org/wiki/Functional_programming

Functional programming From Wikipedia, the free encyclopedia. Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions In contrast to imperative programming , functional programming 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. Table of contents 1 Introduction 2 History 3 Comparison with imperative programming 4 Functional programming languages ... edit Introduction 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. f(x) = x is defined in terms of the power and addition functions. At some point, the language has to provide basic functions that require no further definition. Functions can be manipulated in a variety of ways in a functional programming language. Functions are treated as first-class values, which is to say that functions can be parameters or inputs to other functions and can be the return values or outputs of a function. This allows functions like

18. 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

19. International Scheme Meetup Day Meetup with other local programmers interested in Lisp, Scheme and other functional programming languages. http://scheme.meetup.com/

@import url("http://www.meetup.com/style/common.css"); @import url("http://www.meetup.com/style/topic.css"); @import url("http://www.meetup.com/style/hide-from-ie-mac.css"); @import url("http://www.meetup.com/style/images.css"); Your Meetup now has its own Message Boards! Join the conversation! Meetup Home Discuss Meetup.com Sign In ... Scheme International Scheme Meetup Day on Tuesday, June 8 @ 8:00PM WHAT Meetup with other local programmers interested in Scheme/Lisp and other functional programming languages. WHEN Tuesday, June 8 @ 8:00PM (2nd Tuesday of every month.) WHO Scheme Programmers Worldwide (and friends.) So far, have signed up. AGENDA T.B.D. More info. Next Meetup Members ... Links Join other Scheme Programmers near you! Scheme Meetups can happen in up to 646 cities worldwide on the same day. Enter your location to find the one near you: writeForm("horiz") US Residents, enter your 5-digit Zip Code: Non-US Residents, select your city: Select Your City Antarctica: South Pole, Antarctica Argentina: Buenos Aires, Argentina

20. Advanced Programming Language Design 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

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 113    1  | 2  | 3  | 4  | 5  | 6  | Next 20