Surf these sites: 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. Cayenne -- A Haskell-like language with a powerful type system based on dependent types. Clover -- The Object-Oriented Functional Development Environment Curry -- A multi-paradigm declarative programming language aiming to amalgamate functional, logic, and concurrent programming paradigms in a seamless way. Eden -- A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems. Edison -- A library of Efficient Data Structures for functional languages. Extended ML -- EML is a framework for specification and formal development of Standard ML programs. FISh -- A novel functional language that claims to be faster than C in some cases. FP around the world -- Claus Reinke''s bookmarks on FP - very well organized. Functional Logic Programming -- Michael Hanus''s pages on amalgamation of functional and logic programming. Functional Programming Languages in Education -- A collection of information on the use of functional programming in teaching. Functional Programming in the Real World -- a list of functional programs applied to real-world tasks HOP -- A functional language with "name-based" interaction between software components. Hope -- A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions. J -- A modern high-performance general-purpose programming language, ideal for complex analytics and data manipulation. Lemon -- A Functional Language with Inductive and Coinductive Types Mondrian -- A simple functional scripting language for Internet applications. NESL: A Parallel Programming Language -- NESL is a parallel language with functional flavor developed at Carnegie Mellon by the SCandAL project. NIAL -- Nested Interactive Array Language, a multi-paradigm language that combines aspects of both functional and procedural languages. 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. Pizza -- an extension of Java with functional features: parametric polymorphism, first-class (higher-order) functions, algebraic datatypes and pattern-matching. SAC - Single Assignment C -- A strict purely functional programming language whose design is focussed on the needs of numerical applications. Synopsis of the Language JOY -- Joy is a language based on function composition rather than application. The Abyss of Functional Language -- a collection of links relating to FP The Dataflow Web Pages -- A collection of dataflow resources. The Unlambda Programming Language -- A functional language designed for obscurity Tutorial Papers in Functional Programming -- John Hughes'' list of FP-related tutorials and courses. Wadler: Monads -- Information on monads and functional programming What the hell are Monads? -- A basic introduction to monads, monadic programming and IO. Why Functional Programming Matters -- John Hughes paper, dates from 1984, circulated as a Chalmers memo.
Help build the largest human-edited
directory on the web.