next up previous contents index
Next: Type Definitions Up: An Overview of Previous: An Overview of

Functional Style

Functions  are defined using either an abstraction construct or an equational definition. The latter form can also be used to define functions by recursion. Strictly speaking, ML does allow imperative features such as assignment, but these are almost never used in applications of ML to Nuprl .

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995