Return to Article Details ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS Download Download PDF