Chris Fickert

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A specification is given for the functional programming language FP using an attribute grammar formalism that defines a message passing protocol. Derivations in the grammar specify the complete evaluation of an FP program. The message passing provides a functional type checking capability. To avoid the overhead associated with message passing, the grammar(More)
  • 1