| Directory > Computers > Programming > Languages > Functional FISh
A novel functional language that claims to be faster than C in some cases.
http://linus.socs.uts.edu.au/~cbj/FISh/
Reviews Rating: Not yet Rated
Whois Check
Functional Programming
Claus Reinke's extensive, well organized bookmarks on FP.
http://www.cs.kent.ac.uk/people/staff/cr3/FP/
Reviews Rating: Not yet Rated
Whois Check
What the hell are Monads?
A basic introduction to monads, monadic programming and IO.
http://www.abercrombiegroup.co.uk/~noel/research/monads.html
Reviews Rating: Not yet Rated
Whois Check
Q Equational Programming Language
An extensible functional programming language based on the term rewriting calculus.
http://www.musikwissenschaft.uni-mainz.de/~ag/q/q.php
Reviews Rating: Not yet Rated
Whois Check
Wadler: Monads
Information on monads and functional programming
http://www.research.avayalabs.com/user/wadler/topics/monads.html
Reviews Rating: Not yet Rated
Whois Check
Hope
A small functional programming language, with polymorphic typing, algebraic types, pattern matching
and higher-order functions.
http://www.soi.city.ac.uk/~ross/Hope/
Reviews Rating: Not yet Rated
Whois Check
Extended ML
EML is a framework for specification and formal development of Standard ML programs.
http://www.dcs.ed.ac.uk/home/dts/eml/
Reviews Rating: Not yet Rated
Whois Check
Eden
A functional language that aims at the programming of reactive systems and parallel algorithms on
distributed memory systems.
http://www.mathematik.uni-marburg.de/inf/eden/
Reviews Rating: Not yet Rated
Whois Check
HAL
A strongly typed, weakly moded, constraint logic/functional language designed to support the
construction and extension and use of new constraint solvers.
http://www.csse.monash.edu.au/~mbanda/hal/
Reviews Rating: Not yet Rated
Whois Check
Functional Beans Project
Goal: compile functional programs to Java bytecode, then interpret them as JavaBeans components,
via H language, a small Haskell-like functional language almost fully based on Peyton Jones' Core
language.
http://www.inf.ufrgs.br/~dubois/fbeans/
Reviews Rating: Not yet Rated
Whois Check
Functional Programming Languages in Education
A collection of information on the use of functional programming in teaching.
http://www.cs.kun.nl/fple/
Reviews Rating: Not yet Rated
Whois Check
Scala
A general purpose programming language with a special focus on web services. It combines
object-oriented, functional and concurrent elements. It is a successor of Funnel. Java-based
implementation.
http://lamp.epfl.ch/scala/
Reviews Rating: Not yet Rated
Whois Check
Lemon
Functional language with inductive and coinductive types. Based on simply-typed lambda calculus
augmented with sums, products, and mu and nu constructors for least (inductive) and greatest
(coinductive) solutions to recursive type equations.
http://www.cis.ksu.edu/~bhoward/lemon.html
Reviews Rating: Not yet Rated
Whois Check
PLAN: A Packet Language for Active Networks
A resource-bounded functional programming language that uses a form of remote procedure call to
realize active networking.
http://www.cis.upenn.edu/~switchware/PLAN/
Reviews Rating: Not yet Rated
Whois Check
HOP
A functional language with "name-based" interaction between software components.
http://cui.unige.ch/OSG/research/Hop/hop.html
Reviews Rating: Not yet Rated
Whois Check
FAQ for comp.lang.functional
Offers documentation as a frequently asked questions list. Also provides links to general topic,
technical and other resources.
http://www.cs.nott.ac.uk/~gmh//faq.html
Reviews Rating: Not yet Rated
Whois Check
Charity
Functional, categorical language, by University of Calgary, Canada. Innovative organization: based
on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by
constructors in the familiar way), and coinductive (broken down by destructors).
http://www.cpsc.ucalgary.ca/Research/charity/home.html
Reviews Rating: Not yet Rated
Whois Check
Joy
Pure functional language based on function composition rather than application; concatenative
language, very like Forth, inputs and outputs stacks, but with higher-level data types and sound
mathematical foundation. [Open Source, BSD]
http://www.latrobe.edu.au/philosophy/phimvt/joy.html
Reviews Rating: Not yet Rated
Whois Check
Rita Loogen
Member of Eden team. Articles.
http://www.mathematik.uni-marburg.de/~loogen/
Reviews Rating: Not yet Rated
Whois Check
Readscheme.org - Resources for Functional Programming
A variety of research resources on functional programming languages, implementation, and
applications of functional programming languages.
http://readscheme.org/
Reviews Rating: Not yet Rated
Whois Check
OPAL Project
Researches programming environment where advanced language concepts and formal development methods
are used to make production-quality software. Strongly typed, higher-order, strict, pure FL; so can
be classed with ML, Haskell, and other modern FLs. But also has unique algebraic flavor in the
tradition of languages such as CIP-L, and Obj.
http://uebb.cs.tu-berlin.de/~opal/
Reviews Rating: Not yet Rated
Whois Check
Mondrian
A simple functional scripting language for Internet applications.
http://www.mondrian-script.org/
Reviews Rating: Not yet Rated
Whois Check
Joy: AAA+ Software
Makes Joy, and free fully enabled evaluation version of Joy Developer: product descriptions,
support, mail lists, FAQ, documentation, downloads, store.
http://www.aaa-plus.com/
Reviews Rating: Not yet Rated
Whois Check
Pizza
an extension of Java with functional features: parametric polymorphism, first-class (higher-order)
functions, algebraic datatypes and pattern-matching.
http://www.cis.unisa.edu.au/~pizza/
Reviews Rating: Not yet Rated
Whois Check
Aldor
Functional language in which types are first class values. Normal functions returning types
reproduce the features of template classes of other languages. Links to many projects around the
world based on Aldor.
http://www.aldor.org/
Reviews Rating: Not yet Rated
Whois Check
Cayenne
A Haskell-like language with a powerful type system based on dependent types.
http://www.cs.chalmers.se/~augustss/cayenne/
Reviews Rating: Not yet Rated
Whois Check
Tutorial Papers in Functional Programming
John Hughes' list of FP-related tutorials and courses.
http://www.cs.chalmers.se/~rjmh/tutorials.html
Reviews Rating: Not yet Rated
Whois Check
NESL: A Parallel Programming Language
NESL is a parallel language with functional flavor developed at Carnegie Mellon by the SCandAL
project.
http://www-2.cs.cmu.edu/~scandal/nesl.html
Reviews Rating: Not yet Rated
Whois Check
The Unlambda Programming Language
A functional language designed for obscurity
http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/
Reviews Rating: Not yet Rated
Whois Check
Alcool-90 (FTP)
Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of
modules, functors and inheritance.
ftp://ftp.inria.fr/lang/alcool/
Reviews Rating: Not yet Rated
Whois Check
The Abyss of Functional Language
a collection of links relating to FP
http://compiler.kaist.ac.kr/~khchoi/fp.html
Reviews Rating: Not yet Rated
Whois Check
Functional Programming in the Real World
Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no
side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell,
Miranda, Scheme, Standard ML.
http://www.research.avayalabs.com/user/wadler/realworld/
Reviews Rating: Not yet Rated
Whois Check
Why Functional Programming Matters
John Hughes paper, dates from 1984, circulated as a Chalmers memo.
http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html
Reviews Rating: Not yet Rated
Whois Check
ICFP 2002
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
object-oriented or concurrent languages. October 4-6, 2002 Pittsburgh, PA, USA.
http://icfp2002.cs.brown.edu/
Reviews Rating: Not yet Rated
Whois Check
|
