21. Functional Programming Languages Christopher Browne's Web Pages. Prev. Next. 7. functional programming languages. 7.1. Introduction. In the realm of computing, the term functional tends to take on two very distinct meanings functional = contains lots of functionality, and language") is a family of programming languages characterized by functional control structures, strict semantics, a http://www.cbbrowne.com/info/functional.html

Christopher B. Browne's Home Page cbbrowne@acm.org Christopher Browne's Web Pages Prev Next 7. Functional Programming Languages 7.1. Introduction In the realm of computing, the term functional tends to take on two very distinct meanings: Functional = contains lots of functionality , and Functional = involves evaluation of expressions that do not have side effects rather than execution of commands. The typical comparison is that ``functional'' languages are thought of as distinct from ``imperative'' languages. From the comp.lang.functional FAQ comes the following: "Functional programming is a style of programming that emphasizes the evaluation of expressions, rather than execution of commands. The expressions in these language are formed by using functions to combine basic values. A functional language is a language that supports and encourages programming in a functional style. " In an imperative language, one might describe an algorithm for adding values together to get a sum thus: The functional equivalent would be expressed without any variable updates ( e.g.

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

23. Resources For Programming Language Research functional languages FAQ. The European Association for programming languages and Systems The Teaching About programming languages project. Catalog of Compiler Construction Tools http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html

Programming Language Research A collection of information and resources for research in programming language theory, design, implementation, and related areas. Additions and corrections are welcome! What's new Language overviews Research projects Home pages of researchers ... Miscellaneous Subject-Oriented Pages Action semantics Automated deduction Automated reasoning Calculi for Mobile Processes ... Visual programming and program and data visualisation Other Related Pages Functional Languages FAQ The European Association for Programming Languages and Systems The Compiler Connection at NULLSTONE The Teaching About Programming Languages project. Catalog of Compiler Construction Tools ACM SIGPLAN home page AMAST Links (Algebraic Methodology And Software Technology) Archive of comp.compilers The SEL-HPC Article Archive Reading list on parallel languages Mark Leone ( mleone@cs.cmu.edu

24. Programming Languages And Systems 1997 1998; PADL (Practical Aspects of Declarative languages) 1999; Reflection1996; Scottish functional programming Workshops; TIC (Types http://compiler.kaist.ac.kr/~khchoi/fp.html

Programming Languages and Systems Functioanl Programming Group People Useful Links Paper ... Etc. Functional Programming Group Amsterdam Univ. Cambridge Univ. (Computer Lab) Carnegie Mellon Univ. Chalmers Univ. ... Lande at IRISA Kent Univ. at Canterbury Kyuto Univ. Manchester Computer Science ... Nottingham Univ. : Languages and Programming Oxford PRG Hardware Compilation Group Algebra of Programming ... Logic and Foundations of Programming at QMW Rice Univ. : The Programming Language Team St Andrews Univ. Stanford Univ. : Theory Computer Systems Lab Stanford Research Institute Suny Stony Brook ... Microsoft Research Domestic PLaC Lab at Dongguk Univ. (Prof. Seman Oh) Computer Language Lab at Ewha Womens Univ. PL Lab at Hangyang Univ. (Prof. Kyung-goo Doh) PL Lab at Hongik Real-Time System ans Software Engineering Lab at Konkuk Univ. Thoery and Formal Methods Lab at Korea Univ. (Prof. Jinyoung Choi) Micro-Architecture and System Software Lab at SNU (Prof. Soomook Moon) Parallel Programming Languages and Systems Lab at Sogang Univ. People Choi's collection Starting Points to Useful Links Jon's Functional Languages Page All about FP Wadler's Functional Programming Guide PL links ... John Hughes' guide JFP : HOT Practice and Experience Claus Reinke's FP Newsgroup comp.compilers

25. 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 New tools for Curry: forward slicing tool, source-level abstract profiler, and cost-augmented partial evaluator Latest release of the Curry partial evaluator: Version v1.2 of 28/05/2003 Some pictures from LPAR'2000 at Reunion Island Project TECFRAM Address Camino de Vera s/n, E-46022 Valencia, Spain Phone/Fax +34 96 387 7007 (Ext. 73587) / +34 96 387 7359 Email gvidal (at) dsic.upv.es Some Links Selected publications DBLP Scientific activities Research Projects ... PhD students Scientific Activities submit a paper! Program committee member of the 16th International Workshop on Implementation of Funtional Languages (IFL'04) Program committee member of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004) , co-located with PPDP 2004 PEPM 2004 and SAS 2004 Program committee member of the 13th International Workshop on Functional and Logic Programming (WFLP 2004) , to be held at the Federated Conference on Rewriting, Deduction, and Programming (RDP'04)

26. Omniseek /Computing /Programming Languages /Functional Languages .uk/fp/ query="functional+languages" +"programming+languages" rsource= LCOSS) FPLE functional programming languages in Education. functional languages are gathering http://www.omniseek.com/srch/{73365}

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

28. The Unlambda Programming Language functional programming languages, of which the canonical representativeis Scheme (a Lisp dialect). This means that the basic object http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/

The Unlambda Programming Language Unlambda: Your Functional Programming Language Nightmares Come True Table of contents What's New in Unlambda World? Introduction What is Unlambda? What does Unlambda look like? ... Unlambda distribution (download Unlambda here) Comprehensive Unlambda Archive Network What's New in Unlambda World? (If you don't know what Unlambda is, skip this section and move directly to the introduction below.) [2001/08] This page is being revised in preparation of the Unlambda 3 distribution. Introduction CyberTabloid Computer Languages Today The Hitch-Hacker's Guide to Programming What is Unlambda? Unlambda is a programming language. Nothing remarkable there. The originality of Unlambda is that it stands as the unexpected intersection of two marginal families of languages: Obfuscated programming languages, of which the canonical representative is Intercal . This means that the language was deliberately built to make programming painful and difficult (i.e. fun and challenging). Functional programming languages, of which the canonical representative is Scheme (a Lisp dialect). This means that the basic object manipulated by the language (and indeed the

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

30. School Of Computing Science At SFU 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/

About Us People Research Grad ... Search Conferences past conferences SAT 2004 - May 10-13, 2004 HPCS '04 - May 16-19, 2004 TAG '04 - May 20-22, 2004 ... RANDOM 2004 - August 22-24, 2004 News past news items COIN-OR Foundation Created - Summer 2004 Seminars and Events all seminars Professor Daniel S. Yeung, The Hong Kong Polytechnic University - June 11, 2004 Colin Cooper, Department of Computer Science, King's College, University of London - June 9, 2004 Scholarship News past scholarship news 2004 Dean of Applied Sciences Convocation Medal recipient, Bistra Dilkina 2004 Dean of Graduate Studies Medal recipient - Manuel Zahariev CSSS Spring 2004 Award Winner - Michael Schwartz ... MSc/PhD Theses Academic Programs Graduate Studies Undergraduate Studies School of Computing Science Faculty of Applied Sciences ... csweb@cs.sfu.ca

31. 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 Departments Search Computer Science Computer Science provides an understanding of how software and hardware can be combined to overcome an astonishing range of challenges. Computer Science is the study of humanity's most complex creations. At Adelaide, we confront the challenge of this complexity head-on Information For Current Students Future Students Staff Visitors Information About Research Staff Ph.D. Research Training Accreditation of Degree Programmes ... Recent News School of Computer Science THE UNIVERSITY OF ADELAIDE SA 5005 AUSTRALIA Email: secretary@cs.adelaide.edu.au Web: http://www.cs.adelaide.edu.au Telephone: Facsimile: Last Modified 02 Jun 2004 Systems CRICOS Provider Number 00123M Privacy

32. Programming Languages Engineering resources for more information. functional programming languages.Haskell is the one that I ve used the most. It is an elegant 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" 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. 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 "Predicate Dispatching: A Unified Theory of Dispatch" by Michael Ernst, Craig Kaplan and Craig Chambers). Cecil is quite similar to the theoretical language that I developed in my

33. A Curry-Howard Foundation For Functional Computation With Control - Ong, Stewart Article by C.H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages. http://citeseer.nj.nec.com/ong97curryhoward.html

A Curry-Howard foundation for functional computation with control (1997) (Make Corrections) (36 citations) C.-H. L. Ong, C. A. Stewart Home/Search Context Related View or download: comlab.ox.ac.uk/pub/Docu popl97.ps.gz Cached: PS.gz PS PDF Image ... Help From: comlab.ox.ac.uk/ou publications (more) Homepages: C.Ong HPSearch (Update Links) Rate this article: (best) Comment on this article (Enter summary) Abstract: We introduce the type theory ¯ v , a call-by-value variant of Parigot's ¯-calculus, as a Curry-Howard representation theory of classical propositional proofs. The associated rewrite system is Church-Rosser and strongly normalizing, and definitional equality of the type theory is consistent, compatible with cut, congruent and decidable. The attendant call-by-value programming language ¯pcf v is obtained from ¯ v by augmenting it by basic arithmetic, conditionals and fixpoints. We study the... (Update) Context of citations to this paper: More ...formal ways of reasoning about them would be useful. One possibility is equational reasoning using control calculi such as C [2] or The counterexample in Section 3 shows the limitations of these calculi, however, in that their equational theories are not consistent...

34. Brandeis University CS Web Pages 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/

You are being redirected to the new Brandeis CS Dept website at http://www.cs.brandeis.edu/cs/index.html

35. 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 Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University A-4040 Linz, Austria, Europe Email: Wolfgang.Schreiner@risc.uni-linz.ac.at URL: http://www.risc.uni-linz.ac.at/people/schreine PGP Public Key Bookmarks Home Page at CBL ... Talks Research Parallel and Distributed Computing at RISC-Linz Symbolic Programming at RISC-Linz ... 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. Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools This project pursues the integration of formal methods with tools for the debugging of parallel message passing programs. The idea is to generate from temporal logic specifications executable assertions that can be checked in the various states of parallel program execution. Distributed Constraint Solving for Functional Logic Programming I am the technical leader of a research project on the development of a distributed constraint solving system based on a functional logic language.

36. 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 alpuente@dsic.upv.es ELP GPLIS DSIC ... UPV

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

38. LWN: XSLT: Taming A Functional Language (DevChannel) questions. XSLT was designed as a functional programming language. The reply)Neither Scheme nor Lisp are functional programming languages. XSLT http://lwn.net/Articles/83817/

You are not logged in Log in now Create an account Subscribe to LWN Summary page Return to the Press page Recent Features An activism update from Europe The Grumpy Editor's guide to terminal emulators LWN.net Weekly Edition for June 3, 2004 A look at SpamAssassin 3.0 ... Privacy XSLT: Taming a functional language (DevChannel) The OSDN DevChannel has an excerpt from XSLT 2.0 Web Development , published by Prentice Hall PTR. " Everything is possible by asking the right questions. XSLT was designed as a functional programming language. The functional programming paradigm dates from the 1980s and has proved very useful, even if in a limited way. Other established functional languages include Haskell and Scheme. Log in to post comments) XSLT: Taming a functional language (DevChannel) (Posted May 7, 2004 1:17 UTC (Fri) by freethinker Post reply The functional programming paradigm dates from the 1980s... Lisp? Wuzzat? XSLT: Taming a functional language (DevChannel) (Posted May 7, 2004 1:46 UTC (Fri) by flewellyn Post reply They're pushing a weak XML derivative as a functional language? Tell me another one, please. XSLT is more properly called a dysfunctional language.

39. 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 Programming Environment Bugloo Integrated Programming Environment Bigloo Development Kit 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.

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

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 113    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20