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.

Paper

An Approximation Technique for Suboptimal Control

Robert C. Durbeck

IEEE TACON

Paper

Tight bounds for delay-sensitive aggregation

Yvonne Anne Pignolet, Stefan Schmid, et al.

Discrete Mathematics and Theoretical Computer Science

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

Conference paper

Soft x-ray diffraction of striated muscle

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

Proceedings of SPIE 1989

View all publications

Abstract

Related

An Approximation Technique for Suboptimal Control

Tight bounds for delay-sensitive aggregation

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

Soft x-ray diffraction of striated muscle