DSpace Repository

Browsing Technical Reports by Author "Anthony H Dekker"

Browsing Technical Reports by Author "Anthony H Dekker"

Sort by: Order: Results:

  • Anthony H Dekker (1994-08-01)
    In this paper we present a Boehm Tree model for the Lazy Lambda Calculus with constants, which extends Abramsky's pure Lazy Lambda Calculus. The Lazy Lambda Calculus with constants forms a basis for modern lazy functional ...
  • Anthony H Dekker (1994-05-01)
    This report presents a tutorial for the CLEAN Functional Programming Language, in the form of a stepwise development of two programs for animating Conway's Game of Life. The power of the novel and elegant input/output and ...
  • Anthony H Dekker (1994-07-01)
    In this paper we define the Lazy Lambda Calculus with constants, which extends Abramsky's pure lazy Lambda Calculus. This calculus forms a model for modern lazy functional programming languages. Such languages usually ...

Search DSpace


Browse

My Account