Languages:

• $ (1983) Theoretical simple functional programming language
• 3-KRS (1987)
• A# (1995) Subcomponent of AXIOM 2
• ABC (1989) Intermediate language ABC abstract machine
• ABC++ (1994) Concurrent C++
• ABCL/R2 (1992) reflective concurrent object-oriented language
• Active VRML (1996)
• ADABTPL (1987)
• Adaplex (1983) An extension of Ada for functional databases
• Adl (1992) Polymorphic non-recursive data-parallel functional language
• ADL (0) software specification language
• AIDA (1986) Functional variation on APL
• ALDiSP (1989)
• ALEPH (0)
• Alex (1988)
• ALF (1990)
• Alfl (1983)
• ALLOY (2002) Object modelling language
• ALLOY (1990) Multiparadigm massively parallel language
• Alonzo (1994)
• Alpha (1989) Functional Data Parallel Language Based on Polyhedra
• ALSO (1999) Language for Extensible Multi-user Systems
• Amber (1984) ML with CSP-like concurrency
• AMIGA E (0)
• APL (1960) Array-centered programing language
• APPLOG (1986)
• Arctic (1984) Real-time functional language, used for music synthesis.
• ART (1984) Automated Reasoning Tool
• ASpecT (0)
• BABEL (1990)
• BETA (1975) Object oriented language
• Bigloo (1995)
• BMF (1990)
• Brisk (1995)
• BSML (1996)
• Burge (1975)
• CafeObj (1997) OBJ for the CAFE Networked Environment
• Caliban (1989)
• CFL (1986)
• CFP (1989)
• Charity (1990)
• CLAIRE (1996)
• CLARITY (0)
• Clean (1987) pure lazy functional language
• Clean (1987) pure lazy functional language
• Concurrent Clean (1989)
• CPL (1963) Combined Programming Language
• Curry (1995) Hybrid functional/logic language
• Daisy (1988)
• DAPLEX (1979) Data language
• Deva (1993)
• DMAD (1973)
• Dylan (1992)
• ECLIPSE (1995)
• ELASTIC C (0)
• Elegant (1987) Functional-like imperative language based on attribute grammars
• EML (1985) ML Specification language
• EPL (1991) Equational language for parallel scientific applications
• Erlang (1993) Concurrent functional language
• Escher (1995)
• ET (0)
• Euclid (1977) Verifiable system software language
• EUPHORIA (1999) End User Programming Hierarchial Objects for Robust Interpreted Applications
• F# (2002)
• FAC (1986) Functional alternative to APL
• FC (1982)
• FGL+LV (1985)
• FISh (1997)
• FLAC (0)
• Flex 2 (1980)
• FLIC (1987) Intermediate level language for functional programs
• FLIP (1995)
• FLIP (1959) Functional list processor
• Flora (1995)
• FMPL (1976) Prototyping OOL
• FOOPS (1987)
• FP (1977) Functional Programming
• FP/M (1985)
• FP2 (1986)
• FQL (1982) Functional query language
• FRAN (1997) Functional reactive animation system
• FRAPPS (1992)
• fSDL (1995) full Structure Definition Language
• FUF (1989) Functional Unification Formalism
• FUNLOG (1986)
• FX-87 (1987) Scheme dialect allowing side-effects
• G (1987) Functional Language with Generic Abstract Data Types
• G (1988) Multiparadigm Language
• Gallina (1992)
• GAME (1977) Game programming simulations language
• Georgia Bell Interpreter (1957) Georgia Tech version of Bell
• Gerald (1989)
• Ginger (1992) Simple functional language with parallel constructs
• Goedel (1994)
• GQL (1980)
• Haskell (1990)
• HOPE (1978)
• I+ (1995)
• Id Nouveau (1986)
• ISWIM (1966) Landin's paper language
• J (1990) Iverson's second (simplified, ascii, functional) array-based language
• JAVA BEANS (0)
• JOY (2001)
• KRC (1981) Kent Recursive Calculator
• Leda (1990)
• LeFun (1987)
• LIFE (1987)
• Lilac (1994) functional programming language based on linear logic
• LISP (1958) A list processing system with emphasis on recursion and formalism
• Lispkit Lisp (1978)
• LK (1992)
• LML (1990)
• LML (1990)
• LNF (1985)
• LogC (1992)
• LPG (1970)
• MacParlog (1988)
• MERCURY (1995) Logic/functional language
• me-too (1984) Functional language for executable specifications
• Miranda (1985)
• ML (1973) Meta Language
• MS2 (1967)
• MSG.84 (1985)
• muFP (1984) VLSI functional language
• Multipop (1994) Hybrid Operating System and Programming Language
• Navel (1994)
• NESL (1991)
• Newton (1977) Functional and OO language developed for teaching at EFPL
• OBJ (1976)
• OBJ2 (1984)
• O'Haskell (2002)
• OLABL (1995)
• Ontic (1989)
• OPAL (1993) Algebraic functional language
• OPS-1 (1964) On-line Process Synthesizer
• OPS-4 (1967) On-line Process Synthesizer version 4
• Orwell (1988)
• OSQL (1990) Object-oriented Structured Query Language
• OWHY (1969)
• OZ (1993) Concurrent constraint language
• PANON (1962) Markov-pattern-directed string processing languages
• PANON-2 (1968) Pattern-directed symbol manipulation language
• ParAlfl (1985)
• Parallel SML (1990)
• pC++ (1991)
• PFC (1991)
• PFL (1983)
• PFL (1990) Persistent Functional Language
• PFL (1980)
• PIZZA (1997)
• PLASM (1995) Geometry-oriented functional language
• PLIANT (0)
• Ponder (1989)
• Pop-11 (1975)
• PowerFuL (0)
• PROOF/L (1991)
• QUTE (1986)
• Quty (1984)
• Relational Language (1981)
• RELFUN (0)
• RUFL (0)
• RUSSELL (1970)
• RUTH (1987)
• SASL (2nd version) (1972) Lazy evaluation SASL
• SASL+LV (1987)
• Scheme (1975)
• SCREAMER (0)
• SetLog (1991)
• SFLV (1988)
• SMALL (1986)
• SML (1984) Standard ML
• Sqil (1991) Intermediate language for functional programming languages
• Sticks&Stones (1982)
• SUGAR (1984)
• System F (1989)
• T (1988)
• TABLOG (1984) The deductive table programming language
• Tcode (1989)
• TPL (0)
• TrafoLa (1987)
• Trafola-H (1991)
• Tui (1988)
• Tuki (1986)
• Twentel (1986)
• TXL (1985)
• UFO (1992) United Functions and Objects
• UNLAMBDA (1997)
• Uranus (1993)
• V2 (1958) Volume 2 language from IAL work rejections
• Vec (1995)
• VIPTRAN2 (1974)
• WAFL (0)
• Yale Haskell (1997) Yale implementation of Haskell