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

Better on wafer performance and mask manufacturability of contacts with no or non-traditional serifs

Donald Samuels, Ian Stobert

SPIE Photomask Technology + EUV Lithography 2007

Conference paper

True 3-D displays for avionics and mission crewstations

Elizabeth A. Sholler, Frederick M. Meyer, et al.

SPIE AeroSense 1997

Conference paper

Soft x-ray diffraction of striated muscle

S.F. Fan, W.B. Yun, et al.

Proceedings of SPIE 1989

Conference paper

Some experimental results on placement techniques

Maurice Hanan, Peter K. Wolff, et al.

DAC 1976

View all publications

Abstract

Related

Better on wafer performance and mask manufacturability of contacts with no or non-traditional serifs

True 3-D displays for avionics and mission crewstations

Soft x-ray diffraction of striated muscle

Some experimental results on placement techniques