David Michael Cattrall

Learn More
This paper shows how a safe interface to heap storage, based on garbage collection as provided in implementations of pure functional languages, can be combined with imperative languages. It also shows how expressive notation from functional languages, such as algebraic data types and equational de®nition of functions with pattern matching, can be adopted.(More)
  • 1