Geometry.Net - Basic_F: Functional Languages Programming


Home - Basic_F - Functional Languages Programming

e99.com Bookstore

Images

Newsgroups

21-40 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)

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, October 18-22, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire
Fpca '93, Conference on Functional Programming Languages and Computer Architecture: Copenhagen, Denmark, 9-11 June 1993
Dylan (programming language): Programming language, Functional programming, Object-oriented programming, Dynamic programming language, Reflection (computer ... Bob Dylan, Scheme (programming language)
Functional Logic Programming Languages: Oz, Curry, Algebraic Logic Functional Programming Language, Alice, Metal, Mozart Programming System, Leda
Fpca '89: The Fourth International Conference on Functional Programming Languages and Computer Architecture by Association for Computing Machinery, 1989-06
A Framework for Programming Interactive Graphics in a Functional Programming Language. by Enno Scholz, 2003-07-31
Algebraic Logic Functional Programming Language
The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Programming Languages by Peter Salus, 1998-05-08
The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Pr by Peter Salus, 1998-01-01
Introduction to the functional programming language "Ponder" (TR. University of Cambridge, Computer Laboratory) by Mark Tillotson, 1985
Fourth International Conference on Functional Programming Languages and Computer Architure
A combined logical and functional programming language (Technical report. California Institute of Technology. Computer Science Dept) by Michael O Newton, 1985
IDRIL: An interrupt driven functional programming language (Technical report. Texas A & M University. Computer Science Dept) by Stanley T Shebs, 1982

lists with details

Lennart Augustsson
Chalmers University of Technology functional programming and implementation of functional programming languages, Haskell.
http://www.cs.chalmers.se/~augustss/

Extractions: (If you really want to see, then there are more pictures of me I am a lecturer ("lektor") at the Computing Science Department at Chalmers University of Technology Currently I only work 40% at Chalmers, the rest of the time I work at In the fall of 1999 I teach Advanced Functional Programming Functional programming and implementations of functional languages. These days mostly Haskell (and here's a picture illustrating Haskell :-). The HBC compiler is the result of parts of this work. Lately I've been tinkering with (i.e. designing and implementing) a Haskell like language with dependent types, Cayenne Likeminded people can be found in the functional programming group here. I am a founding member of the IFIP WG 2.8 on Functional Programming and a member of the editorial board of The Journal of Functional Programming Email: augustss@cs.chalmers.se Phone: work +46 31 772 1042, home +46 31 825273, GSM +46 706 887836 (which reaches my Nokia 6110 ) You can (maybe) send me an urgent SMS message.
The Mercury Project: Introduction
New logic/functional programming language. Combines clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution is far faster than extant logic languages, and near that of procedural languages. Free software, GPL.
http://www.cs.mu.oz.au/research/mercury/

Extractions: Search Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry. Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. [09 September 2005] New release
The Functional Logic Language Curry
Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic languages.
http://www.informatik.uni-kiel.de/~curry/

Extractions: A Truly Integrated Functional Logic Language Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming . Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages : "residuation" and "narrowing" (you find here a survey on functional logic programming). Curry combines in a seamless way features from functional programming (nested expressions, higher-order functions, lazy evaluation), logic programming (logical variables, partial data structures, built-in search), and concurrent programming (concurrent evaluation of expressions with synchronization on logical variables). Moreover, Curry provides additional features in comparison to the pure languages (compared to functional programming: search, computing with partial information; compared to logic programming: more efficient evaluation due to the deterministic and demand-driven evaluation of functions). The development of Curry is an international initiative intended to provide a common platform for the research, teaching and application of integrated functional logic languages. The design of Curry is mainly discussed in the
Functional Programming - Wikipedia, The Free Encyclopedia
The first computerbased functional programming language was Information Processing Furthermore, functional programming languages are likely to enforce
http://en.wikipedia.org/wiki/Functional_programming

Extractions: The Haskell programming language logo Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions . It is more heavily used in academia than in industry. The strength of a functional paradigm is the removal of side-effects during computation. This has uses in both program verification, for checking the correctness of programs, and in program optimisation. One particular use in program optimisation is to transform programs for parallel programming Functional programming emphasizes the definition of functions, rather than the implementation of state machines. This is in contrast to procedural or imperative programming where programming emphasizes the sequencing of commands in execution. The values in these languages are formed by using assignments to transform the state of the program. A functional program is immutable: rather than modify state to produce values, it constructs state from older pieces of state in the program. edit Mathematical functions have great strengths in terms of flexibility and analysis. For example, if a function is known to be
Meet Other Lisp & Scheme Programmers In Your Area! - Meetup.com
Meetup with other local programmers interested in Lisp, Scheme and other functional programming languages.
http://scheme.meetup.com/

Extractions: See Country USA Canada Great Britain Australia Afghanistan Albania Algeria American Samoa Andorra Angola Anguilla Antarctica Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia-Herzegovina Botswana Brazil Brunei Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central Africa Chad Chile China Colombia Comoros Congo Congo (Dem. Rep.) Cook Islands Costa Rica Croatia Cuba Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Falkland Islands Faroe Islands Fiji Finland France French Guiana French Polynesia Gabon Gambia Georgia Germany Ghana Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea Bissau Guyana Haiti Honduras Hungary Iceland India Indonesia Iran Iraq Ireland Israel Italy Ivory Coast Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (North) Korea (South) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macedonia
Functional Programming On The Web
It includes links to sites describing the following languages ASpecT, Caml, It has a scope far beyond mere functional programming, but indexed titles
http://homepages.inf.ed.ac.uk/wadler/guide.html

Extractions: Here's a review of some relevant web sites, useful or othewise. A Frequently Asked Questions list Mark Jones originated and Graham Hutton maintains this excellent functional programming FAQ. It answers questions ranging from basic (`Are there any books about functional programming?') to not-so-basic (`What is a monad?'). It includes links to sites describing the following languages: ASpecT, Caml, Clean, Erlang, FP, Gofer, Haskell, Hope, Hugs, Id, IFP, J, Miranda(TM), ML, NESL, OPAL, Oz, Pizza, Scheme, and Sisal. It also has links to bibliographies, meetings, active research groups, and other resources. The functional programming newsgroup This group is unmoderated, and a mixed bag. The best thing about it is its FAQ, cited above. Otherwise, much dross with a few gems. Discussion largely consists of novice questions, sometimes answered ineptly by other novices, sometimes answered superbly by experts. There is the occasional flamewar, and, rarely, a novel insight. Post here if you have a question not answered by the FAQ; otherwise, it may be better to give it a miss. Functional programming conference list The Queen Mary and Westfield CS department run this list. They allow anyone to make an entry via a form, and as a result some entires are untimely or unrelated to the topic. The list of meetings in the FAQ, cited above, may be a better bet.
Zhenyu Qian
Universit¤t Bremen Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.
http://www.informatik.uni-bremen.de/~qian/qian.html
The Miranda Programming Language
Miranda was the successor of the functional languages SASL and KRC. rapid prototyping; teaching functional programming; as a specification language
http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html

Extractions: TM Click below to go directly to a specific section: History Significant Language Features Areas of Application Sample Programs ... Acknowledgments Miranda was developed in 1985-86 by David Turner, and is now currently being marketed by Research Software Ltd. of England. Miranda was the successor of the functional languages SASL and KRC. With Miranda, the main goal was to produce a commercial version of a standard non-strict purely functional language. To make Miranda commercially viable, the development environment had to be made very flexible and easy-to-use. Miranda, A Non-Strict Purely Functional Language Non-Strict: In Non-Strict functional languages, the arguments to a function are not evaluated until they are actually required within the functions being called. Therefore, any parameter can be passed to a function and until it is needed in that function, this parameter is not evaluated. This is also known as lazy evaluation, and the main advantage of using this method is that it allows for passing infinite element data structures to a function. Purely Functional:
Germán Vidal
Technical University of Valencia, Spain programming languages, functional and Logic programming, Multi-Paradigm programming, Semantics, Program Transformation, Partial Evaluation, Slicing, Specification, Analysis and Verification, Computational Costs.
http://www.dsic.upv.es/users/elp/gvidal.html

Extractions: Email: gvidal (at) dsic (dot) upv (dot) es Research interests Programming languages and, in particular, multi-paradigm languages, declarative programming, integration of functional and logic programming, operational semantics, narrowing strategies, laziness, compositionality, the language Curry , domain-specific (embedded) languages Program analysis and transformation and, in particular, fold/unfold, refactoring, partial evaluation and specialization, profiling, cost analysis and estimation, termination analysis, optimization, debugging, tracing, and slicing Publications Scientific activities ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), member of the steering committee.
Why Functional Programming Matters
In this paper we show that two features of functional languages in key tosuccessful programming, functional languages are vitally important to the real
http://www.md.chalmers.se/~rjmh/Papers/whyfp.html

Extractions: This paper dates from 1984, and circulated as a Chalmers memo for many years. Slightly revised versions appeared in 1989 and 1990 in the Computer Journal and the Year of Programming. This version is based on the original Chalmers memo nroff source, lightly edited for LaTeX and to bring it closer to the published versions. Please excuse the slightly old-fashioned type-setting, and the fact that the examples are not in Haskell! As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can be re-used to reduce future programming costs. Conventional languages place conceptual limits on the way problems can be modularised. Functional languages push those limits back. In this paper we show that two features of functional languages in particular, higher-order functions and lazy evaluation, can contribute greatly to modularity. As examples, we manipulate lists and trees, program several numerical algorithms, and implement the alpha-beta heuristic (an algorithm from Artificial Intelligence used in game-playing programs). Since modularity is the key to successful programming, functional languages are vitally important to the real world. The paper is available as postscript and pdf , and here is a bibtex entry. There is even a
On Lisp
By Paul Graham (1994) is a comprehensive study of advanced Lisp techniques, with bottomup programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages.Download as PDF.
http://www.paulgraham.com/onlisp.html

Extractions: On Lisp is a comprehensive study of advanced Lisp techniques, with bottom-up programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages. The final chapter takes a deeper look at object-oriented programming than previous Lisp books, showing the step-by-step construction of a working model of the Common Lisp Object System (CLOS). On Lisp draws the reader in from the very first sentence. The author's writing style is clear and articulate, but comfortably informal. The subject matter is important, and has not been adequately treated in previous books. The chapters on macros present important material that is virtually unique to this book.
IFIP WG 2.8 - Functional Programming
Committee 2) is to encourage the exchange of information between researchersin the design, implementation, and use of functional programming languages.
http://www.md.chalmers.se/Misc/WG2.8/

Extractions: The purpose of the IFIP Working Group 2.8 (part of Technical Committee 2 ) is to encourage the exchange of information between researchers in the design, implementation, and use of functional programming languages. Here is the current list of members , and here are their addresses . We also keep a list of former members The working group has meetings approximately every 11 months. At every meeting there is a business meeting The next scheduled meeting is in January, 2003. Here is a brief report on the status of the working group, written for TC2. RJMH Last modified: Sat Dec 22 08:54:28 MET 2001
Department Of Computer Science
Department of Computer Science. Areas of research include deduction, knowledge representation, integration of functional and logic programming languages, software construction, distributed systems, knowledgebased systems, logic and complexity theory.
http://www.informatik.rwth-aachen.de/index.eng.html
School Of Computer Science
Department of Computer Science. Research areas include computer networks and communications, computer vision, distributed systems, logic and knowledge representation, numerical analysis and numerical linear algebra, parallel and functional programming, persistent object systems, and programming languages.
http://www.cs.adelaide.edu.au/
Programming Languages
Haskell is the most popular functional programming language and is the one that I ve Other popular functional programming languages include the eager
http://www.cs.waikato.ac.nz/~marku/languages.html

Extractions: Alan Perlis once said: "A language that doesn't affect the way you think about programming, is not worth knowing" Here are some opinions and facts about a selection of programming languages by Dr Mark Utting ( a lecturer in the Department of Computer Science at The University of Waikato Topics within this page Object-Oriented Languages Documentation Generator Tools Functional Languages Free Implementations ... XML-related Languages (XSLT etc.) The Open Directory Project has lots of programming language information For examples of programming in 200+ different languages, check out Tim Robinson's 99 Bottles of Beer page. The Dylan version is nice, but make sure you check out all the C++ versions too! The template version is amazing! More programming language comparisons, including employer demand, are available at http://www.pixeldate.com/dev /comparison/ The Cetus Team maintains a large collection of links about most object-oriented languages. Let us start with some lesser-known, but more novel, object-oriented languages, then work down to the well-known mainstream ones. One of my favourite object-oriented languages is Cecil , by Craig Chambers. It is a multiple-dispatch language that supports both exploratory untyped programming and large-scale statically-typed programming. It includes some new and very expressive ideas (see the paper
Computing Science Home
School of Computing Science. Research labs focus on algorithms and optimization, systems science, computational epidemiology, computer vision, database systems, graphics and multimedia, hardware design, software agents, intelligent software and systems, knowledge representation, logic and functional programming, medical computing, natural language processing, parallel and distributed computing, mathematical sciences, programming languages, simulating and exploring ecosystem dynamics, and distance learning.
http://www.cs.sfu.ca/
Michtom School Of Computer Science
Particular research projects study topics in combinatorics, case based reasoning, computational linguistics, coding theory and data compression, connectionism and neural networks, constraint programming languages, distributed object storage systems, functional programming, logic programming, massively parallel computation, networking, robotics, type theory and constructive logic.
http://www.cs.brandeis.edu/

Extractions: Information Brandeis Quick Jump... Search Directory Home Prospective Students Current Students Faculty Staff Alumni Parents Visitors Jobs News Calendar Profiles Map About Brandeis Directions Undergrad Admissions Academics IT Services Libraries Registrar Research Offices GO: Contact Us Brandeis University
GIML: Introduction To Functional Programming
Why functional programming. functional languages such as ML, Hope and Lisp allowus to develop programs which will submit logical analysis relatively easily
http://www.dcs.napier.ac.uk/course-notes/sml/introfp.htm

Extractions: The functional language community is excessively dour. The functional ascetics forbid themselves facilities which less pious programmers regard as standard . When using functional languages we do away with notions such as variables and reassignments. This allows us to define programs which may be subjected to analysis much more easily. When a value is assigned it does not change during the execution of the program. This property is referential transparency. There is no state corresponding to the global variables of a traditional language or the instances of objects in an object oriented language. When a definition is made it sticks. Reassignment does not take place. Getting used to this and finding alternatives the traditional structures such as loops which require reassignment is one of the hardest tasks for a programmer "converting" from a traditional language. The line x := x+1; may appear in a 3rd generation language and is understood to indicate that 'box' or 'location' referred to as 'x' has its contents incremented at this stage. We do not admit such concepts. 'x' is 'x' and 'x+1' is one more than x; the one may not be changed into the other. A program without a state is a simpler thing - it is easier to write the code and easier to reason about the code once written. It is harder to write poor code. Functional languages are considered, by their devotees, to be higher level than third generation languages. Functional languages are regarded as declarative rather than imperative. Ordinary third generation languages such as Pascal, C (including flavours such as C++) and assembly instruct the computer on how to solve a problem. A declarative language is one which the programmer declares what the problem is; the execution of the program is a low level concern. This is an attitude shared with the logic language community (Prolog people).
Wolfgang Schreiner
Johannes Kepler University Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
http://www.risc.uni-linz.ac.at/people/schreine/
XML.com: Functional Programming And XML
XML is generally declarative, as are functional programming languages. XML is ametalanguage a language for defining languages.
http://www.xml.com/pub/a/2001/02/14/functional.html

Extractions: (A French translation of this article is available). As is all too common in the programming world, much of the XML community has identified itself and all its works with object oriented programming (OOP). While I'm a fan of OOP, it's clear to me that even the best OOP-for-XML techniques aren't a panacea, and, moreover, there is an awful lot of ad hoc "objectification" which tends merely to make our lives more difficult and our programs less clear. This short-sightedness has two negative consequences: it tends to limit the techniques and tools we use, and it tends to restrict our understanding. For example, although the Document Object Model (DOM) satisfies few and inspires fewer, its status as a standard tends to inhibit (though, fortunately, not to suppress) exploration into alternative models and practices. The debate tends to revolve around "fixing" DOM, which is cast in terms of getting a better object model. While a better object model would be nice, it's important to keep in mind that XML is neither historically nor inherently object-oriented. Thinking otherwise may lead you to perceive or anticipate a better fit than you actually get.

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

21-40 of 119 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20