1. FPLE Functional Programming Languages In Education Functional Programming Languages in Education About these pages New Things Teaching Material Conferences and Workshops http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

2. FAQ For Comp.lang.functional programming languages, and some pointers to relevant literature and internet resources. 2.1. Functional languages What is a "functional http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

3. The Haskell Home Page Commercial Users of Functional Programming (CUFP); Workshop on Implementation and Application of Functional Languages (IFL 2005); http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

4. Hugs 98 Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for nonstrict functional programming languages. http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

5. Download The Latest Clean System. pure and lazy functional programming language Clean, our Clean System with its fast compiler, the worlds oneand-only programming environment http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

6. The Journal Of Functional Programming Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming. http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

7. The World Wide Web Virtual Library Logic Programming Functional Logic Programming Languages and Systems. Software Products from the Imperial College Logic Programming Group, UK. http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

8. Resources For Programming Language Research Functional Languages FAQ. The European Association for Programming Languages and Systems. The Compiler Connection at NULLSTONE http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

9. Erlang By Ericsson Computer Science Laboratory, soft realtime, declarative, functional language for concurrent, distributed systems. Compiles to BSD, Linux http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

10. Functional Programming On The Web programming. This is a list of programs written primarily to get a task done, rather than just to experiment with functional languages. Some http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

11. Phil Trinders's Publications Comparing Parallel functional languages programming and Performance Higherorderand Symbolic Computation 16(3) (2003). Dempster EW Tomov NT Williams MH http://www.cee.hw.ac.uk/~trinder/publications.html

Publications Recent publications are available below, and I'll gladly send you others on request. Theses are listed separately, and more papers on GpH and GdH are available on their sites. Trinder P.W. Special Issue on Functional High-Performance Parallel Programming Journal of Functional Programming 15(3) (May 2005). Rauber Du Bois A. Trinder P.W. Loidl H.W. mHaskell: Mobile Computation in a Purely Functional Language Journal of Universal Computer Science, 11(7) (2005), pp 1234-1254. Al Zain A. Trinder P.W. Loidl H.W. Michaelson G.J. Managing Heterogeneity in a Grid Parallel Haskell Proc. 2nd Int. Workshop Practical Aspects of High-level Parallel Programming (PAPP 2005), Atlanta, USA (May 2005). Rauber Du Bois A. Trinder P.W. Loidl H.W. Towards Mobility Skeletons Parallel Processing Letters (to appear). Selected from Proc. CMPP'04, Stirling, Scotland (July 2004), pp 19-34. Grelck C. Huch F. Trinder P.W. Michaelson G. (Eds) Proc. of the 16th Int. Workshop on the Implementation and Application of Functional Languages Springer Verlag LNCS 3474, Lubeck, Germany (2004). Nystrom J.H. Trinder P.W. King D.J.

12. Eden: Parallel Functional Programming Comparing parallel functional languages programming and performance. Higherorderand Symbolic Computation, 16(3), 2003. MSBK01 G. Michaelson, N. Scaife, http://www.mathematik.uni-marburg.de/~eden/index.php?content=description

13. FPLE: Functional Programming Languages In Education A collection of information on the use of functional programming in teaching. http://www.cs.ru.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

14. Functional Programming In The Real World functional programming in the Real World. Here is a list of functional programs Quite a few libraries exist for various languages, many of which include 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:

15. The Scala Programming Language A multiparadigm type-safe programming language. It integrates features of object-oriented and functional languages. Statically typed, interoperates with Java and .Net, XML aware. Open source, BSD-like license http://scala.epfl.ch

Introduction Documentation Downloads Examples Reporting a Bug ... Community News RSS Version 1.0.3 of the Scala Plugin for Eclipse has been released. Introduction paper on the documentation page has been updated. Version 1.4.0.0 has been released. Overview paper on the documentation page has been updated. Publicly accessible CVS Repository New documentation page " Scala Plugin for Eclipse Version 1.3.0.10 has been released. WWW Scala The Scala Programming Language - Full text also available as PDF or PostScript document Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. Scala is object-oriented Scala is a pure object-oriented language in the sense that every value is an object . Types and behavior of objects are described by classes and traits . Class abstractions are extended by subclassing and a flexible mixin-based composition mechanism as a clean replacement for multiple inheritance.

16. Advanced Programming Language Design - $85.85 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

17. 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 Online Bibliography of Partial Evaluation Research A Mini-bibliography on Module Systems for Functional Programming Languages ... About this site This site is maintained by Jim Bender Last modified: Monday, October 11th, 2004 8:05:08am HTML generated using WebIt!

18. About Haskell functional programming languages, such as Haskell, can make it easier and cheaper . Haskell, a purely functional programming language, offers you 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:

19. 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 Papers Talks My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and mobile code Advanced Research Fellowship . 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: Sam Lindley completed 2005 Tom Chothia (completed 2002) I am second supervisor for Rob Atkey Alex Blewitt Jonathan Cook (completed 2004), Shin-Ya Katsumata (completed 2005), Francis Tang completed 2002 ) and Jeremy Yallop Some keywords: mathematical logic, category theory, type theory, principles of programming languages, denotational semantics, operational semantics, domain theory, game semantics, functional programming, Standard ML, Java, process calculi, pi-calculus, nu-calculus, reasoning with names. Teaching I am giving no undergraduate lecture courses for the duration of my research fellowship. Here are some past courses.

20. FAQ For Comp.lang.functional Are functional programming languages useful in education? Further informationabout the use of functional programming languages in education (including 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

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