Functional programming with Miranda
Ian Holyer · Bristol Research (University of Bristol) · 1991
Functional languages procedural languages declarative languages programming wigh functions Miranda the programming environment basic data structured data functions types evaluation style the design of functions the toolkit approach the recursion approach the transformation approach the design of modules interfaces behaviour queues the design of programs the operating system interface interaction a personal notebook program a telephone exchange program an expert system high level implementation parsing dependency type inference simplification optimizations low level implementation graph reduction representation evaluation memory management the meaning of programs Haskell.