101. The Haskell Home Page s, documents, history, news, HaWiki, software (libraries, tools),......Repository for information on the lazy functional programming language Haskell 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 Haskell session at the O'Reilly Euro OS Conference ; Amsterdam, the Netherlands, 20 October 2005. An interview with Autrijus Tang about his Pugs project (a Perl 6 implementation in Haskell). Commercial Users of Functional Programming (CUFP) ; Tallinn, Estonia, September 24th 2005. 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) ; Dublin, Ireland, 19-21 September 2005. Submission deadline: 26 August (registration earlier). 2005 Haskell Workshop ; Tallinn, Estonia, 30 September 2005. Submission deadline: 10 June 2005. 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005) ; Tallinn, Estonia, September 26-28, 2005. Early registration deadline: 29 July 2005. Sixth Symposium on Trends in Functional Programming (TFP 2005) ; Tallinn, Estonia, 23 - 24 September 2005. Submission deadline: 8 July. Commercial Users of Functional Programming (CUFP) ; Tallinn, Estonia, 24 September 2005.

102. TopXML : The Functional Programming Language XSLT - A Proof Through Examples The functional programming Language XSLT A proof through examples. http://www.topxml.com/xsl/articles/fp/

BizTalk Utilities Xselerator XSLT IDE Email TopXML Go to the front page to continue learning about XML or select below: XSL Contents All XSLT Content Sample XSLT Stylesheets XSLT Reference Download PDF version XSL Elements XSL: msxml:script XSL: xsl:apply-imports XSL: xsl:apply-templates XSL: xsl:attribute-set ... XSL: xsl:with-param XPath Functions XPath: boolean XPath: ceiling XPath: concat XPath: contains ... XPath: unparsed-entity-url XSLT Examples XSLT Example XSLT Summary of Apollo flights XSLT Summary author sales XSLT Using different axes ... XSLT Generating a new stylesheet Partners Your HTML Source VisualBuilder.com DevGuru Planet Source Code ... Bitshop Web Hosting Page 1 of 11 Table of Contents Introduction Starting point Major FP design patterns/functions in XSLT List processing ... Summary The Functional Programming Language XSLT - A proof through examples Dimitre Novatchev dnovatchev@yahoo.com November, 2001 Get the printable PDF copy of this article (400 KB ZIP) Until now it was believed that although XSLT is based on functional programming ideas, it is not as yet a full functional programming language, as it lacks the ability to treat functions as a first-class data type. Based on numerous concrete XSLT implementations of some of the major functional programming design patterns, including some of the most generic list-processing and tree-processing functions, this article provides ample proof that XSLT is in fact a full-pledged functional programming language. The presented code forms the base of a first XSLT functional programming library. It is emphasized that a decision to include higher-order functions support in XPath 2.0 will make functional programming in XSLT even more straightforward, natural and convenient.

103. Functional Programming From FOLDOC programming (FP) A program in a functional language consists of a set of (possiblyrecursive) function definitions and an expression whose value is output http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?functional programming

104. The International Conference On Functional Programming (ICFP) International Conference on functional programming an annual programming languageconference combining the former functional programming and Computer http://www.cs.luc.edu/icfp/

The International Conference on Functional Programming (ICFP) (Be sure to visit our ICFP 2005 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.

105. Programming And Computation Makefile as a functional language program; Concurrent and serializable computations,and the evaluation order for function s arguments and the body http://okmij.org/ftp/Computation/

previous next contents top Programming and Computation Negative numbers, subtraction and division in lambda-calculus P-numerals : arithmetically more convenient and efficient numerals Uncountable sets in a programming language: Can computers do infinity? Self-referential values, invocations, and back pointers in strict and lazy pure functional languages Pure-functional transformations of cyclic graphs and the Credit Card Transform Subtyping, Subclassing, and Trouble with OOP [a separate set of documents] Type Arithmetics : Computation based on the theory of types a.k.a. An ultimate static type system: division by zero as a type error Number-parameterized types and decimal type arithmetics Pure, declarative, recursively-enumerating binary arithmetic all-mode relations , in Prolog and Kanren Doubts about the concept of information ; An elementary derivation of the Shannon entropy formula Continuations and delimited control Towards the best collection traversal interface How to take a tail ... UNIX pipes as IO monads . Monadic i/o and UNIX shell programming Expressing formal proofs in a computer language: Y Scheme Similarity between instruction scheduling and imperative functional programming Polymorphic stanamically balanced AVL trees An applicative-order term rewriting system for code generation, and its termination analysis

106. PLT Online A collection of links to texts on programming language theory which are publicallyavailable functional programming and Parallel Graph Rewriting. (link) http://www.cs.uu.nl/people/franka/ref

PLT Online Programming language theory texts online This is a collection of programming language theory texts and resources, all of which are freely available over the Internet. Many valuable reference texts on programming language theory, previously only available in paper form, have in recent years become publicly accessible from the net. I list here the ones I know of; below that you will also find a much broader list of lecture notes and tutorials other interesting reading , plus a collection of related resources News 13 August 2005: Posted to Other Leo Brodie. Thinking Forth link Peter Seibel. Practical Common Lisp link 13 August 2005: Posted to Resources FreeTechBooks.com "lists free online computer science books and lecture notes, all of which are freely and legally available over the Internet." Hm, sounds familiar. The journal Information and Computation is providing open, online access to all journal issues dating back to 1995 for a period of one year. The Directory of Open Access Journals "covers free, full text, quality controlled scientific and scholarly journals." Of particular interest for readers are the Computer Science and Mathematics sections.

107. Research Language Overviews Erlang is a mostly functional symbolic programming language featuring modules, Hope is a functional programming language with polymorphic typing, http://www-2.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language/overviews.html

Research Language Overviews This list is intentionally biased towards sequential functional, logic, and object-oriented languages whose design and implementation are the subject of active research. Other language overviews are summarized at the bottom. (Anybody want to compile a similar list for parallel languages?) Additional language design and implementation projects are described on the research projects page. Language Overviews Ada 95 Support for strong type checking, modularity, genericity, object-oriented programming, parallelism, distribution, multi-language programming, system programming, numerics, exceptions, clear syntax, ISO standard approved in February 1995 with a strong validation suite. The BETA page at Aarhus University. BETA is a strongly-typed, object-oriented language supporting both procedural and functional programming. BETA's abstraction mechanisms include support for identification of objects, classification, and composition. Numerous abstraction mechanisms, such as classes, procedures, functions, coroutines, processes, exceptions etc., are all unified into a single abstraction mechanism: the pattern. The Cecil page at the University of Washington Cecil is a pure 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.

108. Functional Programming Optimisation,Language Design,Promoting functional programming. http://www-i2.informatik.rwth-aachen.de/Forschung/FP/

Aachen University of Technology Dept. of CS Lehrstuhl für Informatik II Research Functional Programming Contents Objectives Working Group: Implementation of Functional Languages Present Results Links to Functional Programming ... Type Theory Objectives Compiler Optimisation Since functional programming languages are based on mathematical concepts, they are amenable to formal analysis and manipulation. Especially pure functional languages, i.e. those without side effects, do not have a fixed execution model. Hence the efficiency of program execution can be considerably improved by program transformations or modifications of the execution model using information gained by static analysis of programs. Our current main focus is on automatic transformations for optimising programs, especially with respect to time consumption. The goal is to build a large system for optimising functional programs, which consists of a variable number of arbitrarily combineable transformation modules. This system shall itself be implemented in a functional programming language. In order to avoid building a completely new system from scratch we decided to base our work on the Glasgow Haskell Compiler. This compiler is heavily based on the ``compilation by transformation'' paradigm and it has furthermore been designed with the goal that other people can modify and extend it - especially with new optimising transformations. Since the development of the Glasgow Haskell Compiler is a long-term project undertaken by a team, the compiler is also quite well documented. Finally, it is a widely-used compiler for a standard language. Hence we can easily test our transformations with real-world programs and the transformations may even eventually become part of the Glasgow Haskell compiler and thus find their way from theory into practical use.

109. Sriram Krishnan : Functional Programming In C# - Currying Everytime I make a post about C or any other statically typed language, I gethit by a ton About functional programming in C 2.0, anonymous delegates, http://blogs.msdn.com/sriram/archive/2005/08/07/448722.aspx

Sriram Krishnan Visual Studio for Devices.Virtual Machines. Search Engines. Blogging from the India Development Center Calendar Jul August 2005 Sep S M T W T F S Search Go My Links RSS 2.0 Atom 0.3 Contact Archives September 2005 (5) August 2005 (7) July 2005 (3) June 2005 (3) News Navigation Home Blogs Visual Studio for Devices Partho P Das Barry Bond My boss's boss Amit Chopra ... Our team blog Functional Programming in C# - Currying Everytime I make a post about C# or any other statically typed language, I get hit by a ton of comments from dynamic and functional language programmers who look down upon me for using a statically typed language( *cough* *cough* ;-) ). And being a big fan of Python and 'the Lisp way' myself, I have to admit that there are times when I miss the higher-order function support I get in languages like Haskell. Until now that is :-) With C# 2.0, you get something called anonymous delegates. On the surface, this seems to be syntactic sugar around writing a delegate. But in reality, there is something more magical going on underneath the covers - something called 'closures' . However, C# anonymous methods

110. XMLambda A Functional Language For Constructing And Manipulating In this paper we present XMLambda, a small functional language which has XML which allows many common programming patterns to be captured in a small http://www.cse.ogi.edu/~mbs/pub/xmlambda/

111. Journal Of Functional Programming -- 1993 Using Miranda as a first programming language. Journal of functional programming ,3(1)534, January 1993. BibTeX entry. Phil Molyneux. http://www.dcs.gla.ac.uk/jfp/bibliography/jfp93.html

Journal of Functional Programming 1993 January 1993, Volume 3, Number 1 Henk Barendregt Paul Hudak John Hughes Simon Peyton Jones , and Philip Wadler . Editorial. Journal of Functional Programming , 3(1):1-2, January 1993. [ BibTeX entry Simon Thompson and Philip Wadler . Functional programming in education Introduction. Journal of Functional Programming , 3(1):3-4, January 1993. [ BibTeX entry Tim Lambert Peter Lindsay , and Ken Robinson . Using Miranda as a first programming language. Journal of Functional Programming , 3(1):5-34, January 1993. [ BibTeX entry Phil Molyneux . Functional programming for business students. Journal of Functional Programming , 3(1):35-48, January 1993. [ BibTeX entry Stef Joosten (ED.) Klaas Van Den Berg , and Gerrit Van Der Hoeven . Teaching functional programming to first-year students. Journal of Functional Programming , 3(1):49-65, January 1993. [ BibTeX entry Rachel Harrison . The use of functional languages in teaching computer science. Journal of Functional Programming , 3(1):67-75, January 1993. [ BibTeX entry Lennart Augustsson . The interactive Lazy ML system. Journal of Functional Programming , 3(1):77-92, January 1993. [

112. Citations Report On The Functional Programming Language Haskell Hudak P. Wadler PL (Eds) Report on the functional programming Language Haskell.Draft (April 1989). http://citeseer.ist.psu.edu/context/26828/0

113. Functional Programming At St Andrews - Home other sites, Other sites relevant to functional programming language researchGlasgow, Yale, Nottingham etc. functional programming Group http://www-fp.dcs.st-and.ac.uk/

Functional Programming University of St Andrews home home introduction group members publications resources ... other sites Functional programming involves writing programs using pure functions. Unlike conventional programming (including much object-oriented programming), side-effects are completely eradicated. This allows a very clean, very high-level, very concise programming model, which is also: quick to write easy to reason about easy to modify/debug easy to parallelise Research at St Andrews focuses on Parallel Implementation and Functional Persistence . Our parallel implementation work uses the Glasgow Parallel Haskell dialect of the non-strict functional language Haskell introduction to functional programming and our publications page for more details about our work. introduction More about functional programming group members Members of the St Andrews functional programming group. publications Publications by group members. book "Research Directions in Parallel Functional Programming" edited by Kevin Hammond and Greg Michaelson (Heriot-Watt University) to be published by Springer-Verlag, 1999.

114. Wouter's Programming Language Page PIG (oct 2000) PIG is an antifunctional programming language , an experimentto see how far one can get in a language which only has global state (in the http://wouter.fov120.com/proglang/

Programming Language Design and Implementation This page basically gives a historical overview of all the programming languages I have designed (and sometimes implemented) over the years. Some of them, notably E False Bla Aardappel and SHEEP have their own pages. (REVERSE chronological) Bear (aug 2005) More complete language design that integrates a few recently researched features, but its main focus is on a very clean and seamless unified macro/function/class/coroutine system for the ultimate in (re)factoring power, and also uses the ownership reference counting model below, etc. In general, this is a less adventurous design, more targeted towards being able to build an implementation that is practical and very fast. Toad (july 2005) A string based language whose sole purpose is to be able to be implemented in as few lines of code as possible, while still being a "complete" programming language usable by average programmers. Goal to be used as a tiny plug in language for simple scripting/configuration. (may 2005) an attempt to elegantly move from the two stage compile-time and run-time to N stage model, by adding any number of stages in both directions.

115. Dylan Programming Language Dylan programming Language. Last updated on 15 January 2005 Specific examplesusing the Dylan language and the functional Developer IDE are given. http://www.double.co.nz/dylan/

Dylan Programming Language Last updated on 15 January 2005 Home Introduction Tips and Techniques Projects ... Links What's New Functional Developer has now been open sourced. The source code lives in the Gwydion Dylan source code repository and they are currently doing semi-regular snapshots for Win32 and Linux. A full release announcement hasn't been made according to the GD website while they are busy preparing the code so that it is easier to build and modify. Meanwhile, Win32 snapshots and Linux snapshots are available. Functional Developer may be open sourced. From a post by Scott McKay in comp.lang.dylan "I'll spill the beans. We're trying to open-source the whole lot of it, but are working to get it in shape such that someone besides a Fun-O hacker can build it." Long time no update. I'm still using Dylan, specifically Functional Developer . I have some new libraries and notes to upload when I get some time to tidy them up and organise them. I've been busy running two Rhee Taekwondo clubs recently. I've run the Karori club for a couple of years and have recently opened Whitby. Once Whitby gets more settled I'll have more time and will carry on updating this site. For those interested, a

116. Brad Appleton's Programming Languages Links The LIFE programming Language LIFE (Logic, Inheritance, Functions, and Equations)is an experimental programming language proposing to integrate three http://www.cmcrossroads.com/bradapp/links/prog-langs.html

Brad Appleton's Programming Languages Links Last update: Thu Feb 26 16:29:18 CST 1998 Brad Appleton Software Tools Developer E-mail: brad@bradapp.net WWW: www.bradapp.net/ 819 links to Programming Languages on the World Wide Web. back to Brad Appleton's WWW Links back to Brad Appleton's Home Page Programming Language Groups and Projects (11 links) Programming Languages Guides and Tutorials (12 links) Programming Language Resources (25 links) Perl (108 links) Tcl/Tk (80 links) C++ (153 links) Java (244 links) Smalltalk (69 links) Eiffel (31 links) Ada (25 links) Other Programming Languages (61 links) Detailed Table of Contents Programming Language Groups and Projects (11 links) Programming Languages Guides and Tutorials (12 links) Programming Language Resources (25 links) Perl (108 links) Perl Resources and Directories (36 links) Perl Training, Tutorials and Publications (23 links) Perl Projects and Development (32 links) (17 links) Tcl/Tk (80 links) Tcl/Tk Resources (17 links) Tcl/Tk Tutorials, Training and Publications (18 links) Tcl Projects and Systems (45 links) C++ (153 links) C++ Resources and Directories (31 links) C++ Projects and Working Groups (25 links) C++ Libraries (47 links) C++ STL (19 links) C++ Training, Tutorials and Publications

117. The Abyss Of Functional Language a collection of links relating to FP. http://compiler.kaist.ac.kr/~khchoi/fp.html

Warning : Unknown(/home/khchoi/www/fp.html): failed to open stream: Permission denied in Unknown on line Warning Unknown on line

118. The Caml Language: Home s, documents......Stronglytyped, safe, automatic statically type-checked functional programminglanguage from ML family. Powerful, easy to learn. http://caml.inria.fr/

Version française Home About Download ... Contact us Latest News The Caml Language Objective Caml 3.08.4 released (bug-fix) Objective Caml 3.08.3 released (bug-fix) New web site RSS Channel Archives Search Search Powered by Swish-E What is Caml? Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA , France's national research institute for computer science, since 1985. About Caml The Caml Consortium Objective Caml The Objective Caml system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development. About Objective Caml Latest release Manual Caml Light The Caml Light system is a lightweight, portable implementation of the core Caml language. Because of its stable status, it is actively used in education. For most other uses, we recommend switching to its successor Objective Caml.

119. F A .NET variant of ML with a core language similar to that of the OCaml programminglanguage. http://research.microsoft.com/projects/ilx/fsharp.aspx

Microsoft.com Home Site Map Search: All Research Online All Microsoft.com Microsoft Research Home About Microsoft Research Research Areas People ... Contact Us F# Combining the strong typing, scripting and productivity of ML with the efficiency, stability, libraries, cross-language working and tools of .NET. F# is a programming language that provides the much sought-after combination of type safety and scripting , with all the advantages of running on a high-quality, well-supported modern runtime system. F# gives you a combination of interactive scripting like Python, a mathematical approach to programming like that of MatLab, the strong type inference and safety of ML, a cross-compiling compatible core shared with the popular OCaml language, a performance profile like that of C#, as many libraries as VisualBasic.NET, a foundational simplicity with the same roots as Scheme, the option of a first-class Visual Studio integration, the experience of a first-class team of language researchers with a track record of delivering high-quality implementations

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 6     101-119 of 119    Back | 1  | 2  | 3  | 4  | 5  | 6