Functional Programming FP

home
Algorithms
Bioinfo
FP
Logic
MML
Prog.Lang

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

window on the wide world:

Computer Science Education Week

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite,
ver 3.4+

The GIMP
~ free photoshop
Firefox
web browser
FlashBlock
like it says!

© 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 Tuesday, 26-Sep-2017 10:03:09 AEST.