Home  - Basic_F - Functional Languages Programming

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

41-60 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)

Functional Programming Languages and Computer Architecture Functional Programming Languages in Education by Pieter Hartel, 2007-01-01 Combinators and Functional Programming Languages by Guy Cousineau, 2007 Exception handling in functional programming languages (Internal report. University of East Anglia. School of Information Systems) by C. B Dornan, 1989 Functional Programming Languages and Computer Architecture (Lecture Notes in Com by Gilles, Editor Kahn, 1987-01-01 FPCA '89: The Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989 Pattern Matching: Computer Science, Pattern Recognition, Tree Structure, Regular Expression, Backtracking, Functional Programming Language Functional Programming Languages and Computer Architecture by John Hughes, 2007-01-01 Inductively defined functions in functional programming languages (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science) by Rod M Burstall, 1987 Real programming in functional languages (Xerox, Palo Alto Research Center technical report) by James H Morris, 1981 A Miranda to FLIC translator: A study of functional programming (Document / Functional Language Implementation Project) by Andrew M Lord, 1987 Functional and Logic Programming Languages: Handbook of Programming Languages, Volume 4 by Peter H. (editor) Salus, 1998 An amalgamation of functional and logic programming languages (Arbeitspapiere der GMD) by Hendrik C. R Lock, 1989 Control flow: Computer science, Subroutine, Imperative programming, Functional programming, Computer program, Programming language, Coroutine, Continuation, ... Signal (computing), Asynchronous system

lists with details

41. Alpuente
    Technical University of Valencia, Spain Logic programming semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.  
    http://www.dsic.upv.es/users/elp/alpuente.html

42. Escher
    Declarative, generalpurpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative input/output. Set of system modules provides many operations on standard data types integers, lists, characters, strings, sets, programs.  
    http://www.cs.bris.ac.uk/~jwl/escher.html
    
    Extractions: Bristol CS Index Research Escher is a declarative, general-purpose programming language that integrates the best features of both functional and logic programming languages. It has types and modules, higher-order and meta-programming facilities, concurrency, and declarative input/output. Escher also has a collection of system modules, providing numerous operations on standard data types such as integers, lists, characters, strings, sets, and programs. The main design aim is to combine in a practical and comprehensive way the best ideas of existing functional and logic languages, such as Haskell and So far, the design of the language has been completed and work is well advanced on the design and implementation of a suitable abstract machine for the language in close collaboration with the BRISK Project for which a similar abstract machine is needed. Current work also includes the design and implementation of suitable meta-programming facilities. The main intended applications of Escher in the near future are to machine learning. These applications are being developed in the context of higher-order inductive declarative programming in the machine learning project. Currently, a generalised decision-tree learning algorithm is being developed and applications of this to suitable industrial and commercial problems are planned.

43. Lambda The Ultimate | Programming Languages Weblog
    such as parameterized higherorder modules in functional languages, or Haskell stypeclasses. programming Paradigms of the Andorra Kernel Language  
    http://lambda-the-ultimate.org/
    
    Extractions: On many occasions on this site we've discussed embedding a dynamic type checking scheme in a statically typed language using a Univ type. On many of these occasions, it's been suggested that this is an in-principle solution that would never be usable in practice, Turing tar-pit, etc., etc. Well, someone decided to put their money where our mouths are, and now we have Dynaml (from the caml weekly news By Matt Hellige DSL Fun 30 comments ... Steve Vinoski, RPC Under Fire , Internet Computing. Nice discussion of the problems associated with the RPC model, which abstracts the network making remote calls look like local calls, even though they exhibit different types of failure. Web services, JAX, and Cw are also mentioned.

44. Today's Status Of Functional Programming Languages For Verification Tools ? | La
    Today s Status of functional programming languages for Verification Tools ?An interesting conclusion based on the ML and Haskell implementations existing  
    http://lambda-the-ultimate.org/node/view/745
    
    Extractions: Home Forums LtU Forum An interesting conclusion based on the ML and Haskell implementations existing in October, 2002 comes from the paper "Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell", by Perdita Stevens with Martin Leucker, Thomas Noll, Michael Weber What would be a conclusion of such a comparison today? Also interesting and very true observation from the same article: more from the same author... By Dmitri Kondratiev LtU Forum login or register previous forum topic next forum topic other blogs Flat list - collapsed Flat list - expanded Threaded list - collapsed Threaded list - expanded Date - newest first Date - oldest first 10 comments per page 30 comments per page 50 comments per page 70 comments per page 90 comments per page 150 comments per page 200 comments per page Select your preferred way to display the comments and click 'Save settings' to activate your changes.

45. Bigloo Homepage
    System with one goal enable Schemebased programming style where C(++) is usually needed; makes Scheme practical via features found in most traditional languages but not Scheme and functional programming. Open Source, GPL  
    http://www-sop.inria.fr/mimosa/fp/Bigloo/
    
    Extractions: Bigloo homepage Inria Sophia-Antipolis 2004 route des Lucioles - BP 93 F-06902 Sophia Antipolis, Cedex France Table of contents Bigloo homepage Related Mailing list License ... ChangeLog Technical information Mailing archive Mailing archive (mirror) Programming Environment Bugloo Integrated Programming Environment Biglook Contributions Libraries Bigloo-lib Bigloo + finalizers Debian package ... Windows support Applications Bglstone The Bigloo benchmark suite contains various tools to produce and display bar charts Mole Literate programming in Scheme. SCOP SCOP (a light-weight, simple but powerful, high-level communication interface) Scheme Binding Phptools A toolkit for PHP4 documents. Skribe A programming language to build documents (such as Web pages or program documentations) SX A 3D modeler. VRLM parser VRML 1.0 parser in Scheme An Apache module providing a mean for communication between Apache server and the external process using Unix pipes. Hive Source code manager. SXML/SSAX/SXPath Suite for handling XML documents in Scheme Bigloo is a Scheme implementation devoted to one goal: enabling Scheme based programming style where C(++) is usually required. Bigloo attempts to make Scheme practical by offering features usually presented by traditional programming languages but not offered by Scheme and functional programming. Bigloo compiles Scheme modules. It delivers small and fast stand alone binary executables. Bigloo enables full connections between Scheme and C programs, between Scheme and Java programs, and between Scheme and C# programs.

46. Journal Of Functional Programming
    Journal of functional programming. Edited by Professor Paul Hudak Finally,under Applications we consider the use of functional languages in solving  
    http://www.cambridge.org/jfp
    
    Extractions: Scope The scope of JFP is anything related to functional programming. Topics of interest include the following: Foundations of functional programming includes topics such as formal semantics, abstract interpretation, combinators and lambda calculi, term and graph rewriting, logic, type theory, and category theory. Implementation of functional languages includes compilation strategies for both uniprocessors and parallel processors; design of novel architectures such as dataflow and graph reduction machines; systems issues such as garbage collection and I/O; and environment issues such as debugging, profiling, and configuration management. Linguistics includes the study of specific functional languages and language features such as non-determinism, side effects, and logical variables; methodologies that facilitate reasoning, proof and transformation of programs, including partial evaluation and program synthesis; and the relationship to other programming paradigms.

47. Programming Languages
    FISh is an array programming language based on the idea Function = Imperative+ Shape. Epigram is a dependently typed functional programming language.  
    http://www.cs.uu.nl/people/franka/lang
    
    Extractions: : I maintain this list for my own use. You may or may not find it useful, biased, ill-organized, out of date, et cetera. Please do not complain to me about it. Google has a directory of programming language websites . See also Pigott's Encyclopedia of Computer Languages project. Haskell is a non-strict, polymorphic functional language with type inference and controlled side effects and supports overloading via type classes. Haskell implementations include compilers ( GHC HBC ) and interpreters (GHC, Hugs and Helium ). Most implementations support extensions such as existential types and multiparameter type classes. Generic Haskell is a preprocessor which extends Haskell with the ability to define functions which recurse over types. jhc is an alpha-stage experimental Haskell compiler emphasizing whole program-analysis. Gofer is a not-quite-Haskell predecessor of Hugs. Concurrent Clean is a Haskell-like language with uniqueness typing. Curry is a functional logic language based on Haskell.

48. PLI 2002: ICFP
    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 language designs and to the functional aspects of objectoriented or concurrent languages. October 4-6, 2002 Pittsburgh, PA, USA.  
    http://icfp2002.cs.brown.edu/
    
    Extractions: Affiliated with PLI 2002 The ICFP conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages. Related Events PPDP GPCE (GCSE/SAIG) Workshops What are the Accepted Papers? Please see the separate page What about Hotel and Registration Information? You will find that on the PLI home page Was There a Programming Contest? Yes! The contest ran from 12:00 Noon Pacific Standard Time on Friday August 30, 2002, until 12:00 Noon Monday September 2, 2002. The contest has its own Web page What Kind of Material Appears in ICFP? The call for papers provides information on the kinds of papers sought by the conference.

49. Functional Logic Programming
    functional logic programming aims to amalgamate the most important In comparisonwith pure functional languages, functional logic languages have more  
    http://www.informatik.uni-kiel.de/~mh/FLP/
    
    Extractions: Functional Logic Programming Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming . In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. Early research in this area has been concentrated on the definition and improvement of appropriate execution principles for functional logic languages. In recent years efficient implementations of these execution principles have been developed. You can look into a survey of this area. Languages, Implementations

50. Implementations Of Functional Logic Languages
    functional Logic programming. languages and Systems Mercury Mercury is alogic/functional programming language, which uses a highly optimized execution  
    http://www.informatik.uni-kiel.de/~mh/FLP/implementations.html
    
    Extractions: There are a many proposals for functional logic languages. However, I have listed only those languages where I know an easily accessible implementation (i.e., by the internet). Additional suggestions are welcome. ALF ALF is a functional logic language whose operational semantics is based on innermost narrowing with normalization. Its implementation is based on an extension of the WAM. Contact: Herbert Kuchen kuchen@uni-muenster.de Juan Jose Moreno Navarro jjmoreno@fi.upm.es ... Curry Curry is a higher-order concurrent functional logic language whose operational semantics combines an optimal lazy narrowing strategy with residuation for concurrent computations. The development of Curry is an international initiative intended to provide a common platform for research, teaching and application of integrated functional logic languages.

51. Parallel And Distributed Computing Practices Vol. 3 No. 4 Editorial
    DO functional languages HAVE A REAL FUTURE IN SCIENTIFIC programming? Given the advantages of functional programming languages, why aren t they used  
    http://www.cs.okstate.edu/~pdcp/vols/vol03/vol03no4editorial.html

52. Commercial Users Of Functional Programming Workshop 2005
    In short anyone who uses functional programming as a means, but not an end.functional languages have been under academic development for over 25 years,  
    http://www.galois.com/cufp/
    
    Extractions: The workshop will be held September 24, 2005 Registration is now available The goal of CUFP is to build a community for users of functional programming languages and technology , be they using functional languages in their professional lives, in an open source project (other than implementation of functional languages), as a hobby, or any combination thereof. In short: anyone who uses functional programming as a means , but not an end Functional languages have been under academic development for over 25 years, and are still proving to be very fertile ground for programming language research. Consequently, most of the development focus of these languages is driven by academic and theoretical questions. More recently, however, functional languages have been very successfully used in commercial, industrial, open-source, and government settings, where their advantages have been able to be leveraged dramatically. It aims to help functional programming become increasingly viable as a technology for use in the commercial, industrial, and government space, by providing a forum for FP professionals to share their experiences and ideas, whether

53. The Implementation Of Functional Programming Languages
    The Implementation of functional programming languages. Simon Peyton Jones,published by Prentice Hall, 1987. My 1987 book is now out of print,  
    http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/
    
    Extractions: Simon Peyton Jones, published by Prentice Hall, 1987. My 1987 book is now out of print, but it is now available online in its entirety. I owe a massive debt of thanks to Marnie Montgomery (marniem@patriot.net), who made this possible. In either case, note the following: Download a DJVU file to read locally DJVU (6Mbytes) . You can perform text searches on this version, which is extremely useful. (You can get a free DJVU viewer from http://www.lizardtech.com/

54. Programming Language And Compiler Research Groups
    The functional programming Group. Haskell language and implementation; state, Implementation of functional and logic programming languages, program  
    http://www-2.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language/projects.html

55. Functional Language Programming
    functional Language programming PLT (The programming languages Team) How to Design Programs How to Design Programs DrScheme Companion  
    http://www.cs.trinity.edu/About/The_Courses/cs316/

56. Andrew Cooke: An Introduction To Programming Languages
    More Object Oriented programming; Declarative languages; functional programming;Flexible Syntax; Compilation; Threads; Error Handling; Data Structures  
    http://www.acooke.org/andrew/writing/lang.html
    
    Extractions: previous latest addition here home top This is an attempt to summarize some of the basic ideas behind programming languages. It was originally written for "people who know one language and are wondering about learning another", and hasn't strayed far from that aim. It is not a detailed, scholarly exploration of all programming languages, nor does it describe the latest developments (or even cover all the basics) in computer science - I simply do not know enough to attempt that. Instead, I have tried to write something that is clear, unbiased, and useful to someone with no knowledge of the theory of computing. If you're not that interested in actually writing code and are looking for a more general article, focusing on the "philosophical" aspects of programming languages, then you will be much happier with this book review Why are there so many different programming languages?

57. Cprogramming.com - Comparing Programming Languages
    The primary focus of functional programming is on the return values of functional languages are often simpler syntactically and make it easier to work  
    http://www.cprogramming.com/langs.html
    
    Extractions: The programming style you're probably used to, procedural languages execute a sequence of statements that lead to a result. In essence, a procedural language expresses the procedure to be followed to solve a problem. Procedural languages typically use many variables and have heavy use of loops and other elements of "state", which distinguishes them from functional programming languages. Functions in procedural languages may modify variables or have other side effects (e.g., printing out information) other than the value that the function returns.

58. The Scala Programming Language: Rationale
    There are hundreds of programming languages in active use, and many more are Scala is also a functional language in the sense that every function is a  
    http://scala.epfl.ch/docu/rationale.html
    
    Extractions: martin.odersky epfl.ch January 20, 2004 There are hundreds of programming languages in active use, and many more are being designed each year. It is therefore hard to justify the development of yet another language. Nevertheless, this is what we attempt to do here. Our argument is based on two claims: Claim 1: The raise in importance of web services and other distributed software is a fundamental paradigm shift in programming. It is comparable in scale to the shift 20 years ago from character-oriented to graphical user interfaces. Claim 2: That paradigm shift will provide demand for new programming languages, just as graphical user interfaces promoted the adoption of object-oriented languages. For the last 20 years, the most common programming model was object-oriented: System components are objects, and computation is done by method calls. Methods themselves take object references as parameters. Remote method calls let one extend this programming model to distributed systems. The problem of this model is that it does not scale up very well to wide-scale networks where messages can be delayed and components may fail. Web services address the message delay problem by increasing granularity, using method calls with larger, structured arguments, such as

59. Refactoring Functional Programs
    Sometimes, refactoring is of anticipatory nature bringing a program into a functional Programs (7th Brazilian Symposium on programming languages,  
    http://www.cs.kent.ac.uk/projects/refactor-fp/
    
    Extractions: http://www.cs.kent.ac.uk/projects/refactor-fp/ Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics . Often, refactoring precedes a program modification or extension, bringing the program into a form better suited for the modification step. Sometimes, refactoring is of anticipatory nature bringing a program into a nice shape after making it work, in the hope to facilitate reuse and maintenance. There are obvious relations to the general issues of reengineering old systems for new purposes, but the key point is to separate changes to how the program is organised (refactoring) from changes to what the program does. Refactoring was first identified as an activity in its own right within the object-oriented programming and software engineering communities, and it has become popular there in the form of catalogues documenting sequences of refactoring steps and tool support for carrying out refactorings (see www.refactoring.com

60. Claus Reinke 's Bookmarks: Functional Programming
    programming in type theory. Formalized theory of functional languages. Toolkit for the functional programming language Haskell and the X Windows system.  
    http://www.cs.kent.ac.uk/people/staff/cr3/FP/
    
    Extractions: (a word of warning: this page is here for purely historical reasons, and because so many sites still link to it..; it was last updated in 1999) This page is generated from the functional programming part of my bookmarks. To make it more useful for you, I have added short descriptions to the links (copied from the original sources where this was possible, so please don't blame me for the contents;-). If you know of any URLs related to functional programming, but not mentioned here, or if you find any errors, please send me an email (please start the subject line with FP). It is nice to see that more and more people find this collection useful. This also means that if you have information on functional programming on the web, you should try to make sure that your pages are reachable via this collection , and that any information included here is correct and up-to-date. What does reachable mean? Well, just imagine you were someone else looking for information about your project/software/etc. in this collection. Keeping the material here up to date : please don't rely on me picking all the links from comp.lang.functional, and searching for some short descriptions. I happen to read news less frequently these days and may thus miss announcements made only there.

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

41-60 of 119    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20