Geometry.Net - Basic_F: Functional Languages Programming


Home - Basic_F - Functional Languages Programming

e99.com Bookstore

Images

Newsgroups

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

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Functional Languages Programming: more books (101)

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

lists with details

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

Extractions: Christopher B. Browne's Home Page cbbrowne@acm.org Christopher Browne's Web Pages Prev Next In the realm of computing, the term functional tends to take on two very distinct meanings: 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.
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
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 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

Extractions: 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
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
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}
On Lisp
By Paul Graham (1994) is a comprehensive study of advanced Lisp techniques, with bottomup programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages.Download as PDF.
http://www.paulgraham.com/onlisp.html

Extractions: On Lisp is a comprehensive study of advanced Lisp techniques, with bottom-up programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages. The final chapter takes a deeper look at object-oriented programming than previous Lisp books, showing the step-by-step construction of a working model of the Common Lisp Object System (CLOS). On Lisp draws the reader in from the very first sentence. The author's writing style is clear and articulate, but comfortably informal. The subject matter is important, and has not been adequately treated in previous books. The chapters on macros present important material that is virtually unique to this book.
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/

Extractions: Unlambda: Your Functional Programming Language Nightmares Come True (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. CyberTabloid Computer Languages Today The Hitch-Hacker's Guide to Programming 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
Department Of Computer Science
Department of Computer Science. Areas of research include deduction, knowledge representation, integration of functional and logic programming languages, software construction, distributed systems, knowledgebased systems, logic and complexity theory.
http://www.informatik.rwth-aachen.de/index.eng.html
School Of 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/
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/

Extractions: Computer Science provides an understanding of how software and hardware can be combined to overcome an astonishing range of challenges. Information For Current Students Future Students Staff Visitors Information About Research Staff Ph.D. Research Training Accreditation of Degree Programmes ... Recent News
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

Extractions: 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/ 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
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

Extractions: 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)
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/
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/

Extractions: 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.
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
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.
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/

Extractions: A look at SpamAssassin 3.0 ... Privacy 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.
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 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 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.
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.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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