General Links

Real World Applications of Prog. Lang.

Major Scheme implementations site

Home of MIT Scheme

Standards for Scheme - R5RS

Implementation called Guile

A Historical background by Chris Strachey

A repository of Scheme code

A Scheme Imp. called Gambit

Languages

Scheme - Lexically scoped Lisp

Dr Scheme

Twobit and Larceny

Larceny Project

Skijlet Scheme in Java

Refal-5 (REcursive Functions Algorithmic Language)

Sisal Language Project (portable parallel prog. lang.)

Concurrent Clean

Erlang

EQUALS (A lazy functional prog system on uniprocessor and shared memory multiprocessor)

FISh

Forsythe

Haskell

Mercury Project (Logic/Functional Language)

Miranda

CAML

SML

SML/E

MLj

MetaML

NESL

The Opal Home page

PLAN (A Programming Language for Active Networks)

 

Functional Programming Starting Links

Jon's Functional Languages Page

All about FP

Wadler's Functional Programming Guide

PL links

Simon Peyton Jones' guide

John Hughes' guide

Claus Reinke's FP

Newsgroups

• comp.compilers
• comp.lang.functional
• comp.lang.ml
• comp.lang.scheme
• comp.lang.sigplan

Other Language References Lists on

Parallel Programming Languages Reading List

Functional Languages FAQs

Program Specialization and Partial Evaluation

Heap Management

Garbage Collection

Nice HOT-language Site (featuring Caml)

Functional Programming Site (featuring Haskell)

Chez Scheme Site (with Dybvig User's Guide)

Search Resources

IEEE Computer Society's Parallel Computing Sites

IEEE Transactions' Parallel and Distributed Systems S.E.

MIT's International Computer Science Tech. Report S.E.

An I.U Student's Computer Science Tech. Report S.E.

Achilles' Bibliographic & other S.E.

SGI Technical Publications Library S.E.

My Favorite Web Search Engine

 

Functional Programming Research Groups

OOPS Research Group (U of Texas at Austin)

CMU's Programming Language Research

Microsoft Research

Amsterdam Univ.

Cambridge Univ. (Computer Lab)

Carnegie Mellon Univ.

Chalmers Univ.

Copenhagen Univ.(DIKU, TOPPS group) seminar bibliography

Edinburgh Univ. ( CS Group) ( LFCS Group)

Eindhoven Univ. of Technology

Genoa Univ. (CSPL )

Glasgow Univ. ( FP group, FM group, GGCG )

Imperial College, TM group ( Current Member) FAST project,

INRIA

Lande at IRISA,

Kent Univ. at Canterbury

Kyuto Univ.

Manchester Computer Science

Nijmegen Univ.(KUN)

Nottingham Univ., L&P : Languages and Programming

Oxford, PRG Hardware Compilation Group Algebra of Programming

Paris Univ.

Penn. State Univ.

Polish Academy of Science Institute of CS's Theoretical Foundations of Computer Science

Logic and Foundations of Programming at QMW

Rice University's The Programming Language Team

St Andrews Univ.

Stanford's Theory, Computer Systems Lab Stanford Research Institute

Suny Stony Brook

Tasmania Univ.

Tokyo Univ.

PL group at UIUC, leaded by S.Kamin and U.Readdy

Warwick Univ.

Yale Univ.

York Univ.

Wisconsin Program-Slicing Project

Huge list of other related groups

Journals

Higher-Order and Symbolic Computation-Lisp and Symbolic Computation(LASC)

Journal of Functional Programming at glasgow(JFP)

Journal of Functional and Logic Programming(JFLP) by MIT press