Geometry.Net - Basic_F: Functional Languages Programming

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

Extractions: 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 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. 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.
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/
FPLE: Functional Programming Languages In Education
A collection of information on the use of functional programming in teaching.Category Computers programming languages functionalfunctional programming languages in Education. About these pages. New Things. GeneralInformation on functional programming languages. comp.lang.functional.
http://www.cs.kun.nl/fple/

Extractions: Functional Programming Languages in Education About these pages New Things Teaching Material Conferences and Workshops ... Statistics on the FPLE Site 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
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

Extractions: Sisal 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
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

Extractions: (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.
Readscheme.org - Functional Programming Resources
A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.
http://readscheme.org/
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/

Extractions: Research Teaching Contact 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 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
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/

Extractions: The Netherlands Implementation of Functional Languages 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. 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
Lennart Augustsson
Chalmers University of Technology functional programming and implementation of functional programming languages, Haskell.
http://www.cs.chalmers.se/~augustss/

Extractions: (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 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 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.
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

Extractions: Virtual Library Computing 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 Ada Basic, Visual. Usenet Frequently Asked Questions. BETA Frequently Asked Questions. C 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.
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/

Extractions: 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:
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/

Extractions: 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
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

Extractions: 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
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

Extractions: 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.
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/

Extractions: Search 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. [24 Dec 2002] Mercury 0.11.0 released
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

Extractions: 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 Other languages: Polski 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.
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
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/

Extractions: 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 Scope The ICFP Steering Committee which gives year-to-year continuity to the conference.
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/
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

Extractions: The value of this should be obvious! The Hugs 98 Users manual Hugs is available in the labs (under Programming Tools). 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

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