The semantics of lazy functional languages

Mark B. Josephs

doi:10.1016/0304-3975(89)90122-9

Theoretical Computer Science

Paper

16 Oct 1989

The semantics of lazy functional languages

View publication

Abstract

A denotational semantics for the λ-calculus is described. The semantics is continuation-based, and so reflects the order in which expressions are evaluated. It provides a means by which lazy functional languages can be better understood. © 1989.

Conference paper

Performance test case generation for microprocessors

Pradip Bose

VTS 1998

Conference paper

Performance data on new tunable attenuating PSM for 193nm and 157nm lithography

Hans Becker, Frank Schmidt, et al.

Photomask and Next-Generation Lithography Mask Technology 2004

Paper

Fast geometric approximation techniques and geometric embedding problems

Marshall W. Bern, Howard J. Karloff, et al.

Theoretical Computer Science

Conference paper

Multiple range query optimization with distributed cache indexing

Beomseok Nam, Henrique Andrade, et al.

ACM/IEEE SC 2006

View all publications

Abstract

Related

Performance test case generation for microprocessors

Performance data on new tunable attenuating PSM for 193nm and 157nm lithography

Fast geometric approximation techniques and geometric embedding problems

Multiple range query optimization with distributed cache indexing