Geometry.Net - the online learning center
Home  - Basic_F - Functional Languages Programming
e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-60 of 113    Back | 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 (100)
  1. CFL: A concurrent functional language embedded in a concurrent logic programming environment (Technical report. Weizmann Institute of Science. Dept. of Computer Science) by Jacob Levy, 1986
  2. Functional Programming: Practice and Theory by Bruce J. Maclennan, 1990-01-11
  3. Purely Functional Data Structures by Chris Okasaki, 1999-07-01
  4. Elements of Functional Programming (International Computer Science Series) by Chris Reade, 1989-04
  5. Introduction to Functional Programming using Haskell (2nd Edition) by Richard Bird, 1998-05-09
  6. An Introduction to Functional Programming Through Lambda Calculus (International Computer Science Series) by Greg Michaelson, 1989-02
  7. Implementing Functional Languages (Prentice-Hall International Series in Computer Science) by Simon L. Peyton Jones, David R. Lester, 1992-08
  8. Introduction to Functional Programming Systems Using Haskell (Cambridge Computer Science Texts) by Antony J. T. Davie, 1992-06-26
  9. Functional And Object Oriented Analysis And Design: An Integrated Methodology by Peretz Shoval, 2006-06-28
  10. Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing) by Geoffrey Burn, 1991-08-28
  11. Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) by Flemming Nielson, Hanne Riis Nielson, 2005-08-22
  12. The Functional Approach to Programming by Guy Cousineau, Michel Mauny, 1998-10-29
  13. Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science)
  14. Haskell: The Craft of Functional Programming (2nd Edition) by Simon Thompson, 1999-03-29

41. IFL 2002 (Madrid)
aim of these workshops is to bring together researchers actively engaged in theimplementation and application of functional programming languages to discuss
http://dalila.sip.ucm.es/ifl02/
IFL 2002
IFL 2002
14th International Workshop on the
Implementation of Functional Languages
Madrid, Spain
September 16th - 18th, 2002
http://dalila.sip.ucm.es/ifl02/ 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. NEW!! IFL 2003 will take place in Edinburgh. It will be co-located with TFT 2004 (Fourth international symposium on Trends in Functional Programming)
IFL'02 Poster

Event Site Have a look at IFL02 photographs!! The workshop and the reception wine will take place in the Medicine Faculty , of the Universidad Complutense de Madrid . The Medicine Faculty is located just in front of the underground station Ciudad Universitaria (have a look at the university map Here
Madrid Information Given an address, here you can find photographs of most of the buildings placed in Madrid. Tourism Information Madrid public transports including Madrid underground (the cheapest and fastest way for traveling in Madrid. Have a look at its

42. Functional Programming Languages
7. functional programming languages. 7.1. 7.7. Other functional languages. FP wasone of the earliest functional programming languages, created by John Backus.
http://cbbrowne.com/info/functional.html
Christopher B. Browne's Home Page cbbrowne@acm.org Christopher Browne's Web Pages Prev Next
7. Functional Programming Languages
7.1. Introduction
In the realm of computing, the term functional tends to take on two very distinct meanings:
  • Functional = contains lots of functionality , and Functional = involves evaluation of expressions that do not have side effects rather than execution of commands. The typical comparison is that ``functional'' languages are thought of as distinct from ``imperative'' languages.
From the comp.lang.functional FAQ comes the following: "Functional programming is a style of programming that emphasizes the evaluation of expressions, rather than execution of commands. The expressions in these language are formed by using functions to combine basic values. A functional language is a language that supports and encourages programming in a functional style. " In an imperative language, one might describe an algorithm for adding values together to get a sum thus: The functional equivalent would be expressed without any variable updates ( e.g.

43. Brad Appleton's Programming Languages Links
The Clean programming Language Concurrent Clean is a general purpose, higher order,pure and lazy functional programming language for the development of
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.
Detailed Table of Contents

44. Functional Programming Language - Encyclopedia Article About Functional Programm
Lambda calculus has greatly influenced functional programming languages,especially LISP. . functional programming languages.
http://encyclopedia.thefreedictionary.com/Functional programming language
Dictionaries: General Computing Medical Legal Encyclopedia
Functional programming language
Word: Word Starts with Ends with Definition Functional programming is a programming paradigm has been proposed. Please council it when you plan to rewrite the article entirely. - A programming language or computer language is a standardized communication technique for expressing instructions to a computer. It is a set of syntactic and semantic rules used to define computer programs. A language enables a programmer to precisely specify what data a computer will act upon, how these data will be stored/transmitted, and precisely what actions to take under various circumstances.
Click the link for more information. that treats computation Computation can be actually defined as finding a solution to a problem from given inputs by means of an algorithm. This is what the theory of computation , a subfield of computer science and mathematics, deals with. For thousands of years, computing was done with pen and paper, or chalk and slate, or mentally, sometimes with the aid of tables. The theory of computation began early in the twentieth century, before modern electronic computers had been invented.

45. Compilation Of Functional Programming Languages Using GCC -- Tail Calls
Andreas Bauer. Compilation of functional programming languages usingGCC Tail Calls. Master s Thesis (Diplomarbeit). Keywords Tail
http://home.in.tum.de/~baueran/thesis/
Andreas Bauer
Compilation of Functional Programming Languages using GCC Tail Calls
Master's Thesis (Diplomarbeit)
Keywords: Tail Calls, Tail Recursion, GCC, Haskell, GHC, Functional Programming Languages
Abstract
In the late 1980s, functional programming language implementations commonly translated a program into a C output file which could then be processed by an independent C back end. Those functional language front ends were either faced with the complexity of a single large C function that contained the functionality of the entire program, or they were constrained by the lack of support for proper tail calls in C. Even today, a lot of functional programming language implementations use C to gain native binary executables for various target platforms. Using this technique, they are still faced with the same problems as their early predecessors were; proper tail calls are still missing as a feature of modern C back ends.
This work gives the technical background and rationale as to why it is so difficult to implement proper tail call support in a system's C compiler and it discusses different approaches to overcome this traditional problem in the widespread and freely available GNU Compiler Collection (GCC), so that functional language front ends like The Glasgow Haskell Compiler (GHC), which use GCC, gain a greater amount of flexibility. It also shows how many C compiler constraints which make tail call support such a difficult feature in terms of implementation, date back to design issues made in early versions of the UNIX operating system.

46. Compilation Of Functional Languages By Program Transformation
of a conference on functional programming languages and computer architecture,p.3445, October 1987, Portland, Oregon, United States.
http://portal.acm.org/citation.cfm?id=102805&dl=ACM&coll=portal&CFID=11111111&CF

47. The Scala Programming Language
Scala s case classes and its builtin support for pattern matching modelalgebraic types used in many functional programming languages.
http://scala.epfl.ch/
S c a l a Home Overview Documentation Downloads Examples Reporting a Bug ... Community The Scala Programming Language 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. Scala is functional Scala is also a functional language in the sense that every function is a value . Scala provides a lightweight syntax for defining anonymous functions, it supports higher-order functions , it allows functions to be nested , and supports currying . Scala's case classes and its built-in support for pattern matching model algebraic types used in many functional programming languages. Furthermore, Scala's notion of pattern matching naturally extends to the

48. Functional Programming
Contents Introduction to functional programming 1.1. functional languages as programminglanguages 1.2. The implementation of functional programming languages.
http://www.dsic.upv.es/asignaturas/facultad/prg/prf-e.html
Functional Programming
Name: Functional Programming
Area:
Speciality:
Software
Semester:
Code: PFU
Credits:
6 (3 Theory + 3 Laboratory)
Teachers: Salvador Lucas
Recommended prerequisites: PRD
Objectives Functional languages are one of the most important declarative languages. Functional languages provide the means for solving real problems by means of small, concise programs: (algebraic) polymorphic types that permit the definition of a variety of (generic) data structures; higher order functions , i.e., functions accepting functions as arguments and returning other functions as the result of the computation; lazy evaluation techniques that permit dealing with infinite data structures; a simple computational model based on the notions of reduction and evaluation , etc. Moreover, well established methods for proving properties of functional programs (correctness, efficiency, run-time behavior, etc.) are also available. This is important for reasoning about programs and implementing functional languages.
Most functional languages share a common core of concepts and techniques which are well established. In this course, we study the foundations of functional programming languages and their use in programming and implementation of such languages.

49. Language Design Information (design Functional Language Programming Python )
programming covers the entire spectrum of functional programming, from practiceto theory, and from established functional programming languages (Scheme, ML
http://www.programming-x.com/programming/language-design.html
programming-x.com
language design Information
What I Hate About Your Programming Language
Text treats general aspects of language choices, then compares hatred of Perl, Python, Ruby, PHP, Java, C, C++, JavaScript, XSLT, SQL. With many forum comments. [ONLamp.com]
Choosing a programming language is rarely ever as easy as making a list of features and choosing the best ones. Like programming, it can be messy and opinionated. Every language has its own philosophy, and whether that fits your own mind is often a matter...
Advanced Programming Language Design

Book compares over 70 languages, and main classes: imperative, functional, object-oriented, dataflow, concurrent, declarative, aggregate. By Raphael Finkel, Addison-Wesley.
My Programming Language Crisis

Some points on language design by Keith Waclena.
D Language Design Wiki

Made so language design discussion can take place in a structured environment, with richly interlinked descriptions of the proposals and ideas generated by the D community. Growing pages on design, libraries, code.
ICFP 2002

The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel

50. PLT Online
programming in MartinLöf s Type Theory An Introduction. (link). Simon PeytonJones and David R. Lester. Implementing functional languages a tutorial.
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
Newest additions
13 May 2004: Posted to Resources
University of Cambridge Computer Laboratory Theory Mini-Courses
13 May 2004: Posted to Books
Kees Doets and Jan van Eijck The Haskell Road to Logic, Maths and Programming. link
13 May 2004: Posted to Books
E.C.R. Hehner A Practical Theory of Programming. link
13 May 2004: Posted to Books
Eric G. Wagner Universal Algebra for Computer Scientists. link
26 Feb 2004: Posted to Notes
Peter D. Mosses Fundamental Concepts and Formal Semantics of Programming Languages: An Introductory Course. link
26 Feb 2004: Posted to Books
Kenneth Slonneger and Barry L. Kurtz.

51. Programming Languages
languages). functional languages The Haskell family Haskell, a lazypurely functional programming language (Haskell Home Page).
http://www.cee.hw.ac.uk/~hwloidl/prg-lang.html
Progamming Languages
This page collects links and other information about programming languages, mainly declarative ones. Course notes for a few lectures on functional languages are available: Web pages on programming languages in general: Functional Languages:

52. Computers, Programming, Languages: Functional
functional languages are those supporting and encouraging programming in a functionalstyle.On this page, languages are arranged in three groups and levels 1
http://www.combose.com/Computers/Programming/Languages/Functional/
Top Computers Programming Languages ... Sisal Related links of interest:
  • Computers:Programming:Languages:APL Computers:Programming:Languages:Dataflow Computers:Programming:Languages:Declarative Computers:Programming:Languages:Garbage Collected ... Alcool-90 (FTP) - Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance. Aldor - Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many projects around the world based on Aldor. Cayenne - A Haskell-like language with a powerful type system based on dependent types. Charity - Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by constructors in the familiar way), and coinductive (broken down by destructors). Eden - A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems. Extended ML - EML is a framework for specification and formal development of Standard ML programs.

53. Functional Programming - Wikipedia, The Free Encyclopedia
Furthermore, functional programming languages are likely to enforce referential transparency,which is the familiar notion that equals can be substituted for
http://www.phatnav.com/wiki/wiki.phtml?title=Functional_programming

54. The International Conference On Functional Programming (ICFP)
FPCA) conferences into a unified annual meeting devoted to the design, analysis,implementation, and application of functional programming languages.
http://www.cs.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

55. Functional Languages
and that was a principle construct of functional languages. thus it s objectorientedand not functional. From programming Language Essentials by Henri E. Bal
http://www.intencha.com/adrian/000124.php
Randomness
Stuff, More Stuff and Carval The Google Says FAQ for comp.lang. functional
The Haskell Home Page

LWN: XSLT: Taming a
... Languages
Functional Languages
I got involved in a long argument last night centering around different language paradigms and how the perl language fits into them. My "worth adversary" argued that perl could be considered a functional language at least in some ways because it supported function language constructs. In particular the example was given:
@list The particular point being made here was that perl supported passing code into functions as parameters and that was a principle construct of functional languages. In Java you'd need to use an object to pass the function in as data thus it's object-oriented and not functional. Now that I'm home and have access to my text books, I can safely put this argument to rest too. From Programming Language Essentials by Henri E. Bal and Dick Grune and published by Addison-Wesley: A functional (or applicative) language is based on the evaluation of expressions built out of function calls (applications). A function ... computes a certain value, based on its input parameters (also called arguments) and nothing else.
The key issue here is that functions cannot have side-effects on the state of the program, unless this state is carried around in the arguments of the functions. This lack of side-effects results in a property called

56. Cambridge Journals Online - Journal Home Page
of functional programming is the only journal devoted solely to the design, implementation,and application of functional programming languages, spanning the
http://journals.cambridge.org/jid_JFP
My CJO Homepage
You are logged in as Guest
No Institution Recognised
Browse Journals Alphabetically By Subject Area Subscribed Journals Advanced Search Site Holdings Account Options Personalise Help Context Help Contents FAQs Diagnostics Site Map Password Help Advanced Search Quick Search
Journal of Functional Programming
Forthcoming articles...
Volume 14 Issue 01 Jan 2004 pp 1-128 Issue 02 Mar 2004 pp 129-251 Issue 03 May 2004 pp 253-363 Issue 04 Jul 2004 pp 0-473 Volume 13
Show Back Volumes

Editor(s): Paul Hudak, Yale University, USA
Greg Morrisett Harvard University, USA
Description
Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming. Subscription Prices Year Category Access Type Price* Institutions subscribe Institutions Online Only subscribe Individuals Print Only subscribe *Purchases from the United States, Canada, and Mexico are in US dollars. All other purchases are in pounds sterling. Price does not include VAT, GST or other applicable taxes

57. DINO - Language: Englisch - Computers - Programming - Languages - Functional - D
12. functional programming languages in Education http//www.cs.kun.nl/fple/ Acollection of information on the use of functional programming in teaching.
http://anmeldung.dino-online.de/dino_page_c25f9ccbda3a1fb1d16861b3f387c20a.html
You are here: DINO Language Englisch Computers ... Languages Functional
Verzeichnissuche
document.write (''); Chosen categorie in other languages document.write ('');
Functional CATEGORIES
Aleph

BETA

Caml

Clean
...
Spreadsheets

RELATED CATEGORIES
DINO - Language: Englisch - Computers - Programming - Languages - APL
DINO - Language: Englisch - Computers - Programming - Languages - Dataflow DINO - Language: Englisch - Computers - Programming - Languages - Declarative DINO - Language: Englisch - Computers - Programming - Languages - Garbage Collected ... DINO - Language: Englisch - Computers - Programming - Languages - Multiparadigm WEBSITES Alcool-90 (FTP) - ftp://ftp.inria.fr/lang/alcool/ Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance. Aldor - http://www.aldor.org/ Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many projects around the world based on Aldor. Cayenne - http://www.cs.chalmers.se/~augustss/cayenne/

58. Main Page For The Programming Language JOY
Joy (60K); 6. programming in Joy (80K); 7. A rewriting system forJoy (57K); 8. Joy compared with other functional languages (46K);9
http://www.latrobe.edu.au/philosophy/phimvt/joy.html
NEW
  • joydir.txt Most recent Joy directory sorted by access.
  • 23-JUN-03 (Sec 2) "Fast small truth tables" (using Joy sets)
  • 07-MAY-03 (Sec 2) "Nested Recursion" [also (Sec 3) new interp.c]
  • 23-APR-03 (Sec 2) Revised Paper 9: "The current implementation"
  • 17-MAR-03 Modules: changes to globals.h, main.c, scan.c utils.c (Sec 3)
    modtst.joy
    and modtst.out output.
  • 11-FEB-03 (Sec 2) Revised Paper 1: "Tutorial on Joy"
  • 24-JAN-03 (Sec 2) The online manual and help outputs
  • 04-DEC-02 (Sec 3) Nick Forde's (thanks) command line options in interp.c
  • 04-NOV-02 (Sec 3) Nick Forde's (thanks) "undefs" in interp.c
  • 28-OCT-02 (Sec 2) Matrix library - fixed an error "mapr2"
  • 25-OCT-02 (Sec 2) Church arithmetic and Church logic (revised)
  • 06-MAY-02 (Sec 3) Grammar library, with demo
  • 03-APR-02 (Sec 3) End-of-line comments using # (in scan.c)
  • 14-MAR-02 (Sec 3) Propositional logic semantic tableaux library, with demo
  • 26-FEB-02 (Sec 3) LICENSE (bsd license)
  • 21-Feb-02 (Sec 3) Symbolic Manipulation library, with demo
  • 01-FEB-02 (Sec 3) Lisp interpreter written in Joy, with demo

59. SpeedyGrl.com : Programming : FUNCTIONAL LANGUAGE
programming functional LANGUAGE functional programming languages in Education;HOP; Hope; Joy; Lemon; Mondrian; NESL A Parallel programming Language;
http://www.speedygrl.com/p/19.html
> ON THIS SITE :: Language :: :: Private ::
  • Home
  • whoami
  • Friends
  • Link to Me :: Miscellaneous ::
  • Colortables
  • Colors by name
  • Convert colors to hex etc. (howto)
  • Wallpapers :: Links Links Links ::
  • Find People
  • Free stuff online
  • Investigational
  • Recipes Galore ...
  • U.S. NewsSites
    (more links in the other sections too) :: Conversions ::
  • Area
  • Basic
  • Circular
  • Length ...
  • More... :: 'round the world ::
  • U.S., Canadian, and Caribbean AreaCodes
  • Airport Abbreviations
  • Aviation Abbreviations
  • Human Rights Section ...
  • Time and TimeZones :: Programming : FUNCTIONAL LANGUAGE ::
  • A Gentle Introduction to Haskell Version 1.4
  • Alcool-90 (FTP)
  • Cayenne
  • comp.lang.functional FAQ ...
  • Why Functional Programming Matters
    :: Search This Site ::
    Search WWW Search This Site
    > ON THIS SITE :: Computing 101 ::
  • All TopDomains online
  • Downloads
  • Free Shells
  • Graphics Links ...
  • Misc Comp Links :: Programming :: (there are over 70 programming languages here)
  • C
  • C++
  • LISP ...
  • Miscellaneous Q's 2 :: Friends' Sites ::
  • AntiOffline
  • Deficiency.org
  • Deviance.org
  • Disgraced.org ...
  • Spikeman.net :: Other Places :: Head of European Operations for The
    ETHICAL HACKERS
    AGAINST PEDOPHILIA
    http://www.ehap.org/
  • 60. Functional Programming
    functional programming. Last updated February 11, 1995. I have had a long standinginterest in functional programming. I like languages with clean semantics.
    http://www.base.com/gordoni/func.html

    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 3     41-60 of 113    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

    free hit counter