Functional Programming FP

home1 home2
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 Book

FP (external)
FP
 Lambda
  Introduction
  Examples
 PFL (|| λ)
 Inductive Inf.

 CompJ88
 CompJ89
 SPE89
 CompJ90
 IPL92
 ACJ93
 ACSC2003
 JFP2005
 ACSC2006

also see:
Semantics
Prog'Lang's
LP
  • [Lambda], toy functional interpreter, source and examples. This is not intended to be a production FP system; it is written in Pascal and is as small and simple as possible (and is lacking a type-checker and a garbage collector).
  • [PFL], parallel, communicating ~ CCS
  • [LambdaLog], LFP = Logic + Functional Programming.
  • Search the [bibliography] by keywords.
  • Languages

See also [Logic Programming] and [Programming Languages].

General Material

Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Wednesday, 07-Jun-2023 18:26:38 AEST.