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

(Full Professor of Computer Science). Leader of the ELP Group Research Activities Selected Publications ( DBLP CCS Bibliographies (most papers are available on-line) Teaching Paloma and Claudia's homepage Address Camino de Vera s/n Apdo. 22.012 E-46022 Valencia (Spain) Phone Fax E.mail X@dsic.upv.es (where X = alpuente) ELP GPLIS DSIC UPV

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

Bristol CS Index Research Escher 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/

@import url(misc/drupal.css); Lambda the Ultimate Home Feedback FAQ ... Archives User login Username: Password: Create new account Request new password Navigation recent posts Dynamic typing in OCaml 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 I've only briefly looked at the tutorial , but this definitely goes a long way toward demonstrating a plausible Univ embedding of a dynamic type system. Of course, I'd be curious to hear what everyone else thinks... (from the caml weekly news By Matt Hellige DSL Fun 30 comments ... RPC Under Fire 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

@import url(misc/drupal.css); Lambda the Ultimate Home Feedback FAQ ... Archives User login Username: Password: Create new account Request new password Navigation recent posts Home Forums LtU Forum Today's Status of Functional Programming Languages for Verification Tools ? 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 Comment viewing options 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/

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 Presentation 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

Home Journals Related Journals Related Books Journals By Title By Subject Highlights Advanced Search Print ISSN: 0956-7968 Online ISSN: 1469-7653 View a free sample of this journal Journal of Functional Programming Edited by Professor Paul Hudak Yale University, USA Professor Greg Morrisett Harvard University, USA Contents (1997 onwards) Contents (1991 - 1998) Information for authors Information for referees ... Links 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

Programming languages A collection of home pages : 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. Statically typed languages Haskell 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/

October 4-6, 2002 Pittsburgh, PA, USA 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. Contact Us!

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/

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 Curry: a proposal for a standard in functional logic programming Mailing list Workshops, Conferences, Journals ... Related subjects Please mail to Michael Hanus if you know relevant information not included here.

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

Functional Logic Programming Languages and Systems 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: Michael Hanus mh@informatik.uni-kiel.de Babel BABEL is a functional logic language whose operational semantics is based on lazy narrowing and provides some higher-order features. 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. Contact: Michael Hanus mh@informatik.uni-kiel.de

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/

Commercial Users of Functional Programming (CUFP) September 24th 2005 Co-located with ICFP Functional Programming As a Means , Not an End Early registration deadline is July 29, 2005 Late registration deadline is September 2, 2005 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/

The Implementation of Functional Programming Languages 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. Read it using your web browser: Read it online. This downloads just the page you are reading. Download it to read locally (30Mbytes). In either case, note the following: The big arrows, at the top left and right of each page, move backward and forward one page. The table of contents is clickable. You can get to the table of contents by clicking the link displayed at the top of each page. The index is not (yet) clickable. You can get to the index by clicking the link displayed at the top of each page. There is no way (yet) to go to a particular page number; use the TOC as your entry point. 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

Programming Language and Compiler Research Groups Multi-site working groups and projects are listed at the bottom. Also see this page of pointers to online computer science technical reports The Bench++ Project provides an "official" suite of C++ benchmarks. Brussels Free University Department of Computer Science Programming Technology Lab research projects: Agora project Agora is a prototype-based object-oriented programming language featuring encapsulated inheritance on objects. OPUS project OPUS is the theoretical counterpart of Agora. The main motivation of the OPUS research project is to design an elementary calculus to express object-orientedness. It should model the crucial features of object-oriented programming in an orthogonal way. Carnegie Mellon University The Fox Project Advanced languages and compilers for real-world systems programming. (Served by the The FoxNet Web Server , which is written completely in an extension of Standard ML.) Logical Frameworks at CMU The LF logical framework and its implementation in the Elf constraint logic programming language.

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/

Functional Language Programming Course Outline Computer Jargon Dictionary Frequently Asked Questions (FAQ) Archive Smithsonian Computer History ... Computers and Mathematical Notation by Kenneth E. Iverson Math for the Layman by Kenneth E. Iverson The J Vocabulary Class newsgroup tu.csci2322 Terminal Session on this Machine Gambit Scheme Manual SCM Documentation SCM Manual GUILE Information SLIB Manual Hobbit Documentation. Revised^4 Report on the Algorithmic Language Scheme Imagine Laboratory Problem 1 Laboratory Problem 2 ... Comments or Suggestions

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

previous latest addition here An Introduction to Programming Languages home Introduction Target Audience Initial Questions ... top Introduction Target Audience Initial Questions Route Map Target Audience 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 Initial Questions 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

Starting out Getting Started Tutorials Quizzes Moving on Advanced Tutorials Articles Challenges Contests ... Jobs Tools What do I need? Compilers Editors Debuggers Resources Source Code Syntax Reference Snippets Links Directory ... Function Lookup Questions Programming FAQ Message Board Ask an Expert Email The Tower of Babel An Exploration of Programming Languages By: Eric Suh with large additions by the webmaster, based on an article that originally appeared in Code Journal Today's computer programmer has many languages to choose from, but what's the difference between them? What are these languages used for? How can we categorize them in useful ways? These days, programming languages are becoming more and more general and all-purpose, but they still have their specializations, and each language has its disadvantages and advantages. Languages can generally be divided into a few basic types, though many languages support more than one programming style. This following list isn't all inclusive or as fine-grained as possible, but it brings out some of the basic design decisions behind languages. Language Types Procedural 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

Introduction Documentation Coming up Next Scala on .NET ... Scala Plugin for Eclipse Scala Rationale Scala API Related Resources Downloads Examples ... Community WWW Scala Scala Rationale Martin Odersky 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/

Refactoring Functional Programs 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/

Functional Programming (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

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