Geometry.Net - Basic_F: Functional Languages Programming


Home - Basic_F - Functional Languages Programming

e99.com Bookstore

Images

Newsgroups

81-100 of 119 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 (101)

Research Topics in Functional Programming (The UT year of programming series) by David A. Turner, 1990-06
Functional Programming and its Applications: An Advanced Course by P. Henderson, D. A. Turner, 1982-03-31
Purely Functional Data Structures by Chris Okasaki, 1999-07-01
Functional Programming: Practice and Theory by Bruce J. Maclennan, 1990-01-11
Implementation of Functional Languages: 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers (Lecture Notes in Computer Science)
The Functional Approach to Programming by Guy Cousineau, Michel Mauny, 1998-10-29
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science)
Implementing Functional Languages (Prentice-Hall International Series in Computer Science) by Simon L. Peyton Jones, David R. Lester, 1992-08
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers (Lecture Notes in Computer Science) (Vol 2670)
Computational Semantics with Functional Programming by Jan van Eijck, Christina Unger, 2010-11-01
Programming Languages: An Active Learning Approach by Kent D. Lee, 2010-11-02
Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers (Lecture Notes in Computer Science)
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science)
Arrays, Functional Languages and Parallel Systems

lists with details

Functional Programming At The University Of Bristol
with increasing the expressive power of functional languages so that they can be Proceedings of the workshop functional programming, Glasgow 1995 ,
http://www.cs.bris.ac.uk/~ian/Functional/

Extractions: Bristol CS Index The Brisk project is concerned with increasing the expressive power of functional languages so that they can be used to implement complex and reactive `systems' programs more easily. Our current aim is to develop a Haskell compiler which provides a deterministic form of concurrency, a modular approach to linking Haskell with C, dynamic linking and some other features which increase expressiveness without losing any of the mathematical purity of the language. The Brisk compiler is nearing its first serious release. We then want to investigate its applications; we have designs, and in some cases prototypes, for an X window interface, a development environment, a process manager, and a distributed programming environment. A second strand of research is to improve support for program debugging and proof. One problem is to work out how to make best use of the purely declarative nature of functional languages. A style of logic needs to be developed which takes maximum advantage of the potential simplicity of using denotational semantics alone, without resorting to operational semantics, and which provides support for purely declarative debugging and proof. This logic then needs to be packaged in a practical system which is attractive to working programmers. The Brisk compiler may also provide a platform on which to base this research. Ian Holyer ian@cs.bris.ac.uk
ICFP Functional Programming Contest
Convinced your favorite functional programming language provides Perhaps it sjust the case that functional programming languages attract better
http://www.ai.mit.edu/extra/icfp-contest/

Extractions: Welcome to the ICFP'98 functional programming contest! Matthew Flatt of the Rice PLT group has written a GUI for pousse games. You may play against one of the programs, play against a human, watch two programs play each other, or have it step through a recorded game. Matthew has packaged the system up with the six finalists in one tar file . However, you'll also need to fetch the Mr. Ed Scheme system from Rice to run the GUI. The winners have been announced. We have also received permission from the authors of the six finalist programs to make their entries available so if you got whupped in round one, or some missing library kept your program from ever turning over, you can replay the tournament in the comfort of your own home. Click on any of the phase-two finalists below to download their entry. The tournament is divided in two phases. Phase one was a full round-robin tournament on a 6x6 board. That is, each entry played every other entry twice: once as X, once as O. More detail is available on these games, including a complete ranking of all the entries.
FPCA
Search within FPCA functional programming languages and Computer ArchitectureAdvanced Search. Browse FPCA functional programming languages and Computer
http://portal.acm.org/browse_dl.cfm?coll=portal&dl=ACM&idx=SERIES420&linked=1&pa
Exception Handlers In Functional Programming Languages
Exception Handlers in functional programming languages. Full text, Full textavailable on the Publisher site Publisher Site
http://portal.acm.org/citation.cfm?id=631072
Functional Programming Languages
FP was one of the earliest functional programming languages, created by John Backus . Unlambda Your functional programming Language Nightmares Come True
http://linuxfinances.info/info/functional.html

Extractions: Christopher B. Browne's Home Page cbbrowne@gmail.com Christopher Browne's Web Pages Prev Next In the realm of computing, the term functional tends to take on two very distinct meanings: 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.
Functional Programming
Hume is a novel programming language based on concurrent finite state machinesdriven by Int. Workshop on Implementation of functional languages,
http://www.cee.hw.ac.uk/Research/funct_prog.html

Extractions: 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 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. 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.
Singapore Science Centre ScienceNet Computer Science / IT
Is the end product generated by a functional programming language different Why is functional programming languages such as Haskell only popular among
http://www.science.edu.sg/ssc/detailed.jsp?artid=4120&type=6&root=1&parent=1&cat
CTO : Programming Languages
unpure functional/whatever programming language with quite a popular implementationon the AmigaOS; AML Array Manipulation Language (AML), an algebra for
http://cliki.tunes.org/Programming Languages

Extractions: CTO CLiki for the TUNES project Home Recent Changes About CLiki Text Formatting ... Create New Page Programming Language s reviewed. See also Languages ToDo Actor - The term for a paradigm of programming which models computations with concurrent (possibly transparently- distributed ) entities, the Actors , that communicate with asynchronous messages; Actors may update their behaviour depending on the messages they receive Collection-Oriented aka data parallel : the term for a paradigm of programming that involves operations on entire collections and avoids loops concatenative - The term for a sub- paradigm of programming in which function composition is rendered syntactically as concatenation (composition, juxtaposition) of symbols by means of a composition operator, usually rendered as a blank space Concurrency-Oriented - A term describing a programming language paradigm where independent parts of the problem can be represented as independent computations Constraints - The term for a paradigm related to logic or declarative programming, where information is specified as a constraint on the result, and the evaluator's task is to use this information to limit the search space that some base set of algorithms would ordinarily have traversed to find the answer
GameSpy.com - Articles
Let s start by looking at the evolution of programming languages over the last 20 of languages missing, the functional languages represented by Lisp,
http://archive.gamespy.com/legacy/articles/devweek_b.shtm

Extractions: Subscriptions Platforms Menu All Games GameSpy GameSpy Network Featured Sites PlanetGrandTheftAuto PlanetUnreal PlanetCallofDuty PlanetDOOM ... PlanetBattlefield FilePlanet Daily Download Asheron's Call: Dark Majesty Special Offer Special Features Most Wanted Games of 2004 What 40 games made our most sought after titles of '04? Find out! GameSpy Grudge view commentary first Most Popular Video Games PlayStation PSP Lowest Price Playstation 2 Console Lowest Price Windows Media Center Extender Lowest Price Slim Playstation 2 Console with Controller Lowest Price Xbox Video Game Lowest Price Powered By PriceGrabber
TFP 2004
The Symposium on Trends in functional programming is an international forum for with interests in all aspects of functional programming languages.
http://www.tcs.informatik.uni-muenchen.de/~hwloidl/TFP04/

Extractions: http://www.tcs.ifi.lmu.de/~hwloidl/TFP04 The Symposium on Trends in Functional Programming is an international forum for researchers with interests in all aspects of functional programming languages. It succeeds TFP03 in Edinburgh and continues the Scottish Functional Programming Workshop series from 1999-2002. Papers on all aspects of functional programming are welcomed, be they theoretical, implementation-oriented, or experience papers. The venue for this year's symposium will be Ludwig-Maximilians University in central Munich. By unanimous vote the following paper has been selected for the Best Student Paper Award: Proof Support for General Type Classes, Ron van Kesteren, Marko van Eekelen, Maarten de Mol The deadline for the camera-ready version of the paper is April 18th, 2005 . A list of accepted papers is online now.
CS252r-Advanced Functional Programming
CS 252r will study advanced techniques in functional programming, with two endsin mind We will emphasize lazy functional languages such as Haskell;
http://www.eecs.harvard.edu/~nr/cs252r/

Extractions: Fall 2003 Time and Place: WF 2:30-4:30, Maxwell Dworkin 319 Email: cs252r@eecs.harvard.edu Home page: http://www.eecs.harvard.edu/~nr/cs252r/ Instructor: Norman Ramsey , Maxwell Dworkin 231 Teaching Fellow: Chung-Chieh (Ken) Shan , Maxwell Dworkin 221 CS 252r will study advanced techniques in functional programming, with two ends in mind: We will emphasize lazy functional languages such as Haskell ; eager languages get adequate coverage in the undergraduate curriculum. We will also touch on topics in modules systems, which should be relevant to both lazy and eager languages. CS 252r will be run as a seminar; participants will meet twice weekly to discuss papers . Each meeting will last two hours . (We get Harvard to accept this by calling the meeting one and a half hours of class and a half hour of section.) We will also spend some time presenting and discussing code written in functional languages; we will
Main Page For The Programming Language JOY
Joy is a programming language based on the composition of functions. Joy compared with other functional languages (46K); 9.
http://www.latrobe.edu.au/philosophy/phimvt/joy.html

Extractions: NEW joydir.txt Most recent Joy directory sorted by access. 18-MAY-05 (Sec 2) "Survey of reproducing programs" 18-MAR-05 (Sec 2, "Lazy lists as reproducing programs" 14-FEB-05 (Sec 2) "The annoying quadratic formula" 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
Annie Liu's CSE526: Principles Of Programming Languages (Spring `05)
We will consider imperative programming languages, functional programming languages,objectoriented programming languages, logic programming languages,
http://www.cs.sunysb.edu/~liu/cse526/

Extractions: Announcements ... Systems Course description: This course is for students interested in high-level programming languages and their formal semantics. Such study enables precise reasoning about programs, their efficient implementation and easy reuse, as will be discussed in the course. The materials to be covered include operational semantics, denotational semantics, and axiomatic semantics. We will consider imperative programming languages, functional programming languages, object-oriented programming languages, logic programming languages, and higher-level languages with sets and maps. We will look at topics including type systems, abstraction mechanisms, declarativeness, and efficient implementations. We will also study concurrency and parallelism. Prerequisites: CSE307, CSE304, or equivalent; or undergraduate discrete math (sets, functions and relations, predicate logic) plus programming languages in two or more paradigms (C/Pascal, ML/Scheme/Lisp, Java/C++/Python, Prolog) Credits: Instructor: Annie Liu Email: liu@cs.sunysb.edu
LISP And Functional Programming 1986
LISP and functional programming 1986 Cambridge, Massachusetts, USA Jon Fairbairn, Stuart Wray Code Generation Techniques for functional languages.
http://www.informatik.uni-trier.de/~ley/db/conf/lfp/lfp1986.html

Extractions: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, August 4-6, 1986, Cambridge, Massachusetts, USA. ACM Press, 1986 Jon Fairbairn Stuart Wray : Code Generation Techniques for Functional Languages. 94-104 BibTeX Thomas F. Knight : An Architecture for Mostly Functional Languages. 105-112 BibTeX Michel Castan M.-H. Durand
Computer Science - CS 457 Functional Languages (4 Credits)
Ability to solve programming problems with a functional language; basic understandingof theoretical foundations of the functional paradigm.
http://www.cs.pdx.edu/course.php?cid=160
Compilation Of Functional Programming Languages Using GCC -- Tail Calls
In the late 1980s, functional programming language implementations commonlytranslated a program into aC output file which could then be processed by an
http://home.in.tum.de/~baueran/thesis/

Extractions: Keywords: Tail Calls, Tail Recursion, GCC, Haskell, GHC, Functional Programming Languages 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.
Embedded.com - Changing Networks Need Functional Languages
In a sense, functional programming is a language paradigm that fits somewherebetween assembly/machine programming (move a bit to a register,
http://www.embedded.com/story/OEG20011130S0065

Extractions: Gambling that the combination of VoIP, WiFi and low cost will open up a whole new class of embedded consumer apps for video streaming, digital cameras and video conferencing, Broadcom has just released a single chip version of its mobile VoIP processor. iTrax130 Development Kit brings GPS to embedded systems
SS > Factoids > Programming Languages
Rationale for the Design of the Ada programming Language A functional languagewith modules, developed at the University of Edinburgh.
http://www-users.cs.york.ac.uk/~susan/cyc/p/prog.htm

Extractions: home factoids A B C D ... Z For those who think the world begins and end with C++, or with Java, here is a very incomplete list of programming languages: just the ones I've heard of, or been told about (not including assembly languages, or special purpose 'little languages' like yacc or nroff Ada the language was commissioned by the US Department of Defense in the 1980s as the language to be used for all its software. Descended from Pascal , with support for structuring via the package The PL/I of the 1980s.
Functional Domain-Specific Languages
functional languages meet these requirements well. We would like to see more useof functional programming languages and concepts in the design of dsl s.
http://www-sal.cs.uiuc.edu/~kamin/dslresearch.html

Extractions: Domain-specific, or special-purpose, languages are designed for convenience in a narrow range of applications. They are generally assumed to be used primarily for very small programs (hence the name "mini-languages") and, in many cases, are intended for use by non-programmers (hence, "end-user languages"). In most cases, efficiency is not a major concern, and user convenience and conciseness is paramount. Functional languages meet these requirements well. We would like to see more use of functional programming languages and concepts in the design of dsl's. Functional languages are marvelously concise, but also have powerful abstractions that allow programs to "scale up" to larger sizes; this addresses what is probably the most serious shortcoming of many dsl's, that they are very poor for programming any but very small programs. We believe also that it is not too much to anticipate the possibility of language standardization of some kind. It is not clear that there need to be so many different languages; surely, they have a great deal in common, and they might well share much more, including much syntax. To promote this outcome, we are working in several directions.
State In Functional Programming: An Annotated Bibliography
State in functional programming An Annotated Bibliography. We have taken aflexible approach to defining functional languages we want to enable
http://liinwww.ira.uka.de/bibliography/Compiler/state.functional.programming.htm

Extractions: USA Many of the entires in the biliography habe been contributed by researchers in the field; The rest are from our own collections. Not all contributions were received with annotations: the second editor has attempted to fill some of the gaps as permitted either by his own familiarity with the work or by his willingness to adapt the authors' own published abstract.

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

81-100 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20