81. 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/

Bristol CS Index Functional Programming Research 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. Staff and Research students Ian Holyer ian@cs.bris.ac.uk

82. 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/

ICFP Functional Programming Contest Welcome to the ICFP'98 functional programming contest! Trying out the finalists 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. Contest update 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.

83. 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

84. 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

85. 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

Christopher B. Browne's Home Page cbbrowne@gmail.com 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.

86. 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

Functional Programming 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 Interpreters from functions and grammars 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. Functional prototyping for parallel implementation 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.

87. 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

88. 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

CTO CLiki for the TUNES project Home Recent Changes About CLiki Text Formatting ... Create New Page Programming Languages Programming Language s reviewed. See also Languages ToDo Paradigm -categories: 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

89. 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

Subscriptions Platforms Home PlayStation 2 Xbox GameCube ... PC Menu News Reviews Previews Features ... Forums All Games Game Info Release Dates Cheats GameSpy Files Software The Editors Contact GameSpy Network Action RPG Sports Strategy 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! Game of the Year CES 2004 DOOM Turns 10 ... Gaming University GameSpy Grudge Which Wins? view commentary first Pandora Tomorrow Far Cry 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 Tim Sweeney of Epic Games: A Critical Look at Programming Languages All this week GameSpy is opening the doors and lending an open microphone to some of the brains behind our favorite games. Find out what they have to say about the current state of gaming and its future. Edited By - Dave "Fargo" Kosak , Illustrations by Penny Arcade Tim Sweeney, Lead Programmer and Co-Founder, Epic Games

90. 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/

TFP 2004 Fifth Symposium on Trends in Functional Programming November 25-26th 2004, Ludwig-Maximilians University, Munich, Germany 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. Topics Papers on any aspect of functional programming are welcomed. Papers on the following subject areas are particularly welcome: design and implementation of functional or declarative languages;

91. 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/

CS252r-Advanced Functional Programming 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: To learn the best techniques used by functional programmers, so you can use them in your work. To get a feel for some research questions at the frontiers of functional programming. 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

92. 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

La Trobe Home Skip to Content Contact La Trobe Sitemap ... International 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

93. 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/

CSE526 (Spring `05) Principles of Programming Languages General Information Course Outline Requirements Announcements ... Systems General Information 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

94. 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

LISP and Functional Programming 1986: Cambridge, Massachusetts, USA Proceedings of the 1986 ACM Conference on LISP and Functional Programming, August 4-6, 1986, Cambridge, Massachusetts, USA. ACM Press, 1986 Session 1 Simon J. Thompson : Laws in Miranda. 1-12 BibTeX Th. Despeyroux Gilles Kahn : A Simple Applicative Language: Mini-ML. 13-27 BibTeX David K. Gifford John M. Lucassen : Integrating Functional and Imperative Programming. 28-38 BibTeX Session 2 Cyril N. Alberga Chris Bosman-Clark Martin Mikelsons Mary S. Van Deusen ... Julian A. Padget : Experience with an Uncommon LISP. 39-53 BibTeX Julian A. Padget et al. : Desiderata for the Standardization of LISP. 54-66 BibTeX Rodney A. Brooks David B. Posner James L. McDonald ... Richard P. Gabriel : Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp. 67-87 BibTeX David H. Bartley John C. Jensen : The Implementation of PC Scheme. 88-93 BibTeX Session 3 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

95. 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

96. 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/

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.

97. 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

Select Site Below Commsdesign My-ESM EEdesign eeProductCenter EETimes Embedded Planet Analog Silicon Strategies Broadcom brings single chip VoIP to multimedia WiFi apps 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 Targeting the large number of embedded applications which require tracking and location information, Fastrax Ltd. has just released its iTrax130 Development Kit for the iSuite 3 SDK. More Product News Duo work to bridge FPGA/DSP gap Two U.K. companies, Sundance Multiprocessor Technology (Chesham) and Celoxica (Abingdon), are combining their expertise to provide out-of-the-box digital signal processing (DSP) and FPGA system design solutions. Beck IPC expands software development environment Beck IPC (Pohlheim, Germany) has released its own edition of the Paradigm C++ Professional development environment to provide an integrated C/C++ development environment for its IPC@CHIP Embedded Web Controller family. More News From Europe A list of upcoming NetSeminars, plus a link to the

98. 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

home factoids programming languages 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 The Language List is much more comprehensive, with over 2000 entries! The Jargon File is a great source for computing terms. Remember, no matter which language you choose, you can always Shoot Yourself In The Foot . It's just so much easier in some than in others. And, of course, Real Programmers Don't Use PASCAL Ada after Ada, Countess Lovelace , a friend of Charles Babbage , and claimed by some to be the first computer programmer. 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.

99. 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

Domain-Specific Languages 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.

100. 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

The Collection of Computer Science Bibliographies Collection Home Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology State in Functional Programming: An Annotated Bibliography About Browse Statistics Number of references: Last update: July 24, 1994 Number of online publications: Supported: no Most recent reference: August 1993 Query: in any author title field Publication year : in: , since: , before: (four digit years) Options: Results as Citation Results in BibTeX 10 results per page 40 results per page 100 results per page 200 results per page sort by score year online papers only You may use Lucene syntax , available fields are: ti (title), au (author), yr (publications year). Information on the Bibliography Authors: Paul Hudak (email mangled to prevent spamming) Dan Rabin (email mangled to prevent spamming) Computer Science Department Yale University P.O. Box 208285 51 Prospect Street New Haven, CT 06520-8285 USA Abstract: Author Comments: 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. Please send corrections, additions, and comments.

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