DACTL - Declarative Alvey Compiler Target Language. U East Anglia. An
intermediate language. "DACTL - A Computational Model and Compiler Target
Language Based on Graph Reduction", J.R.W. Glauert et al, ICL Tech J 5(3)
(1987). Version: Dactl0. (See Lean, Parallel SML).
Comments, Experience, Additions
Next Language: DAD