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

Lennart Augustsson (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 Research Interests 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 How to reach me 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.

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

The Mercury Project Introduction Home News Information Documentation ... Search What is Mercury? 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. Latest News [09 September 2005] New release We are pleased to announce the release of version 0.12 of the Mercury system. The new release can be downloaded here . For a list of the changes since version 0.11 see the release notes [08 August 2005] Two new papers Two new papers titled "Divide-and-query and subterm dependency tracking in the Mercury declarative debugger" and "The implementation of minimal model tabling in Mercury (extended abstract)" are now available from our papers page [11 May 2005] Functional dependencies We've added support for functional dependencies to the typeclass system. See the "Type classes" chapter of the

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

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

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

Functional programming From Wikipedia, the free encyclopedia. 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. Contents Introduction History Comparison with imperative programming Functional programming languages ... edit Introduction Mathematical functions have great strengths in terms of flexibility and analysis. For example, if a function is known to be

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

@import url(http://www.meetup.com/templates/default_v2/site.css); @import url(http://www.meetup.com/templates/default_v2/images.css); s.pageName="TOPIC:HOME" s.server="web1.int" s.channel="lisp" s.eVar1="" s.eVar2="" s.eVar3="alien" s.eVar4="" s.eVar5="" Find Start Home Sign In ... Help groups worldwide 226 members 226 who are waiting Welcome Meetup Groups ... site Meet other local programmers interested in Lisp, Scheme, and other functional programming languages. Start the first Know 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

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

A Guide to Functional Programming on the Web Philip Wadler, University of Glasgow, July 1996 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.

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

Zhenyu Qian Research Interests Projects Publications Lectures ... Hotlist Research Interests Java security, Java extensions, Java semantics, object-oriented, functional, concurrent, logic programming languages, specification languages, compiler construction, program specification, program construction, program transformation, object-oriented analyse and design, types, lambda-calculus, unification, algebraic semantics, theorem proving systems. I am now working at the Kestrel Institute . Click here to go to my new homepage. Zhenyu Qian, last update June 23, 2000

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

TM The Miranda Programming Language Click below to go directly to a specific section: History Significant Language Features Areas of Application Sample Programs ... Acknowledgments History 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. Significant Language Features 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: Pure functional languages perform all computation using function application. "Side-effect" features such as destructive assignments and looping are not even provided within the language, and therefore all programs have to strictly adhere to the functional approach of programming.

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

Professor of Computer Science Ph.D. in Computer Science Member of the MIST ELP GPLIS research groups at DSIC Technical University of Valencia Contact Postal address Camino de Vera s/n E-46022 Valencia, Spain Visiting address Room 2D42 (2nd floor) DSIC building, UPV Phone: +34-96-387-7007 (Ext. 73587) Fax: +34-96-387-7359 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 Online papers sorted by year and by topic . My list of publications in the DBLP Bibliography Server and some of my coauthors Scientific activities ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), member of the steering committee.

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

Why Functional Programming Matters John Hughes 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! Abstract 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

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

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). As well as an indispensable reference, On Lisp is a source of software. Its examples form a library of functions and macros that readers will be able to use in their own Lisp programs. Prentice Hall, 1993, 432 pages, paperback. ISBN 0130305529. New: Download it for free. "The first book that really explains what Lisp is all about." - John Foderaro, Franz Inc. 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. The chapter on object-oriented programming is excellent. The author builds a nice mini-CLOS to teach basic object-oriented techniques, but then wisely switches to real CLOS to cover the more advanced topics."

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

IFIP Working Group 2.8 - Functional Programming Purpose 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. Members Here is the current list of members , and here are their addresses . We also keep a list of former members Meetings 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. Other Here is a brief report on the status of the working group, written for TC2. Members' Area Click here for members' functions! Forgotten the password? Click here for a reminder! RJMH Last modified: Sat Dec 22 08:54:28 MET 2001

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

Department of Computer Science Organisations Chairs Computer-Science-Library Computer Administration Group Study Information for: Students Pupils Graduates Co-operation Events Computer-Science-Day 2003 Department-Summerparty 2003 Talks Technical Reports ... Jobs Contact Professors Staff Sponsors News Professorship in Computer Science Algorithms and Complexity Workshops and Conferences WG 2004 - International Workshop on Graph-Theoretic Concepts in Computer Science RDP 2004 - Federated Conference on Rewriting, Deduction, and Programming RTA 2004 - International Conference on Rewriting Techniques and Applications Computer Administration Group March 1994 last modified: 01/12/2004

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

The University of Adelaide Home Search School of ... More... Delivering highest quality teaching and research to meet IT challenges of the future Information For Current Students Future Students Staff Visitors Information About Staff Research Seminars ACS Accreditation School of Computer Science Plaza Building THE UNIVERSITY OF ADELAIDE SA 5005 AUSTRALIA Email: secretary@cs.adelaide.edu.au Web: http://www.cs.adelaide.edu.au Telephone: Facsimile:

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

Programming Languages 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/ Object-Oriented Languages 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

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

Site Map News: TASC I Is Now Open! TASC I, a 9000 square metre, $23 million complex officially opened its doors to its new tenants from Computing Science, Earth Sciences and Resource Environmental Management on Tuesday, September 6, 2005. Read More... More News... June 15, 2005 Richard Vaughan collaborates with gumstix September 19, 2005 Conscious Robots in the making October 1, 2005 SFU 40th Anniversary CS Alumni Gathering October 7, 2005 Shadow Day More Events... Education Undergrad Program ... Intranet Webmaster: csweb@cs.sfu.ca Faculty of Applied Sciences Simon Fraser University

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

/* styles for CSS compliant browsers ie. NS6 IE 5 */ @import url(/cs/css/compliantStyles.css); @import url(/cs/academics/newcs.css); Computer Science Home Official Information Faculty Research ... Information Michtom School of Computer Science Welcome to the computer science department! 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

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

GIML: Introduction to Functional Programming The functional language community 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).

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

Wolfgang Schreiner A.Univ.Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Research Institute for Symbolic Computation (RISC) Johannes Kepler University A-4040 Linz, Austria, Europe Email: Wolfgang.Schreiner@risc.uni-linz.ac.at Web: http://www.risc.uni-linz.ac.at/people/schreine Home Page at CBL Curriculum Vitae PDF ... Talks Research Areas Formal Methods Parallel and Distributed Computing Projects MathBroker II: Brokering Distributed Mathematical Services The goal of this project is to continue and extend the results of the previous MathBroker project on brokering mathematical services in the net. Austrian Grid Project SEE-Grid The goal of this project is the development of a grid version of the software SEE++ for virtual eye surgery. Brokering Distributed Mathematical Services The goal of this project is the development of a framework for brokering mathematical services that are distributed among networked servers. The foundation of this framework is a language for describing the mathematical problems solved by the services. Distributed Maple Distributed Maple is a system for writing parallel programs in the computer algebra system Maple based on a communication and scheduling mechanism implemented in Java.

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

Resources Buyer's Guide Newsletter Safari Bookshelf Try Altova's XML Suite 2005 FREE for 30 days - #1 with XML developers worldwide! Business Databases Graphics Metadata ... Web Services Sponsored By XML Development Tools Free Download Stylus Studio – The World's best XML Editor! Learn XML development with Stylus Studio XML IDE Join the XML discussion at the Stylus Studio Developer Network Sponsored Zones Novell Learning Channel Annotated XML What is XML? What is XSLT? ... Bookmark with del.icio.us Functional Programming and XML by Bijan Parsia February 14, 2001 (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

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