Geometry.Net - Basic_F: Functional Languages Programming


Home - Basic_F - Functional Languages Programming

e99.com Bookstore

Images

Newsgroups

101-119 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6

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)

Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected ... Computer Science and General Issues)
Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected ... Computer Science and General Issues)
Parallel Functional Languages and Compilers (Acm Press Frontier Series)
Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected ... Computer Science and General Issues)
Constructive Foundations for Functional Languages by Raymond Turner, 1991-04
Compiling Functional Languages by Antoni Diller, 1988-09-08
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science)
Implementation of Functional Languages: 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers (Lecture Notes in Computer Science)
Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers (Lecture Notes in Computer Science)
Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers (Lecture Notes in Computer Science)
Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing) by Scotland) Glasgow Workshop on Functional Programming (1991 Portree, Carsten Kehler Holst, et all 1992-06
Real World Haskell by Bryan O'Sullivan, John Goerzen, et all 2008-12-01
Haskell: The Craft of Functional Programming (2nd Edition) by Simon Thompson, 1999-04-08
Type Theory and Functional Programming (International Computer Science Series) by Simon Thompson, 1991-08

lists with details

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/

Extractions: @import "haskell-org.css"; Haskell is a general purpose, purely functional programming language. Haskell compilers are freely available for almost any computer. 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.
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/

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

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

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

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

Extractions: 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. 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.
Functional Programming
Optimisation,Language Design,Promoting functional programming.
http://www-i2.informatik.rwth-aachen.de/Forschung/FP/

Extractions: Aachen University of Technology Dept. of CS Lehrstuhl für Informatik II Research 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.
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

Extractions: Visual Studio for Devices.Virtual Machines. Search Engines. Blogging from the India Development Center Jul August 2005 Sep S M T W T F S Go 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
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/
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

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

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

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

Extractions: Dylan Programming Language Last updated on 15 January 2005 Home Introduction Tips and Techniques Projects ... Links 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
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
The Abyss Of Functional Language
a collection of links relating to FP.
http://compiler.kaist.ac.kr/~khchoi/fp.html
The Caml Language: Home
s, documentsStronglytyped, safe, automatic statically type-checked functional programminglanguage from ML family. Powerful, easy to learn.
http://caml.inria.fr/

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

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

101-119 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6