Geometry.Net - the online learning center
Home  - Basic_F - Functional Languages Programming

e99.com Bookstore
  
Images 
Newsgroups
Page 1     1-20 of 104    1  | 2  | 3  | 4  | 5  | 6  | Next 20
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  

         Functional Languages Programming:     more books (101)
  1. The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science) by Andrea Asperti, Stefano Guerrini, 1999-01-28
  2. The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science) by Simon L. Peyton Jones, 1987-05
  3. Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 (Lecture Notes in Computer Science) (v. 201)
  4. Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science)
  5. Functional Programming: Languages, Tools and Architectures (Ellis Horwood Series in Computers and Their Applications) by Susan Eisenbach, 1987-04-30
  6. Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing) by Kenneth R. Traub, 1991-03-07
  7. Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings (Lecture Notes in Computer Science)
  8. Functional Programming Languages and Computer Architecture: Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science)
  9. Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science) (English and French Edition)
  10. Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science)
  11. Functional Architecture: An Approach for Effective Execution of Functional Programming Languages by Hong Shen, 2010-06-04
  12. Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC - Single Assignment C by Clemens Grelck, 2001-08-20
  13. Functional Programming Languages and Computer Architecture
  14. Functional programming languages in education: First International Symposium, FPLE '95, Nijmegen, The Netherlands ... 1995 : proceedings

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

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

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
Haskell
Hugs
Hugs is an implementation of a (large) subset of Haskell. Hugs 98 is the implementation of Haskell 98. 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

free hit counter