Comment Re:FFP, Combinator Calculus and Parallel Forth (Score 1) 323
The reference you gave, Mago and Middleton, The FFP Machine: A Progress Report", is really obscure. Citeseer can find only one reference to it. Can you point to a more widely-known article? Also, a search on Citeseer for the phrase "Formal Functional Programming" turns up nothing. Details, please?