PFL Interpreter

LA home
Computing
FP
 PFL
  Syntax
  Examples
  Interpreter
  Interpreter

Also see:
 λ-calculus
 Prolog
Semantics

The PFL interpreter is based on the λ-calculus [interpreter].

PFL.p main, driver
lazy.D.P  
lazy.O.P binary ops
lazy.U.P unary ops
lazy.apply.P  
lazy.env.P  
lazy.eval.P  
lazy.exec.P set up the initial processes and start them running
lazy.mkval.P make values
lazy.show.P printing
lazy.type.P  
 
pfl.interact.P process interactions of complimentary pairs c!v->... and c?x->...
pfl.count.P count processes
lex.insym.P lexical
lex.type.P  
syntax.P parser
syntax.print.P  
syntax.type.P  
www:

free:
Linux
 Ubuntu operating-sys
OpenOffice office-suite
The GIMP ~photoshop
Firefox web-browser
FlashBlock flash on/off

pfl...
|   choice
|| parallel
-> sequence
? input act
! output act
chan new channel
© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Tuesday, 07-Feb-2012 17:34:10 EST.