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].

  • L.Allison, 'Models for machine learning and data mining in functional programming', Journal of Functional Programming, 15(1), pp.15-32, doi:10.1017/S0956796804005301, 2005.
  • L. Allison, 'Applications of recursively defined data structures', Aust. Comp. J., 25(1), pp.14-20, arxiv:2206.12795, 1993.
  • L. Allison, 'Lazy Dynamic-Programming can be Eager', Information Processing Letters, 43(4), pp.207-212, doi:10.1016/0020-0190(92)90202-7, 1992.
  • L. Allison, 'Circular programs and self-referential structures', Software Practice and Experience, 19(2), pp.99-109, doi:10.1002/spe.4380190202, 1989.
  • L. Allison, 'Some applications of continuations', The Computer Journal, 31(1), pp.9-11, doi:10.1093/comjnl/31.1.9, 1988.

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 Thursday, 20-Jun-2024 15:06:28 AEST.