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

Soft x-ray diffraction of striated muscle

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

Proceedings of SPIE 1989

Paper

A global spatial similarity optimization scheme to track large numbers of dendritic spines in time-lapse confocal microscopy

Qing Li, Zhigang Deng, et al.

IEEE T-MI

Paper

Analytics for resiliency in the mainframe

Liat Ein-Dor, Y. Goldschmidt, et al.

IBM J. Res. Dev

Conference paper

Anomalous interface degradation of a-Si:H TFTs during LCD lifetime

Frank R. Libsch, Takatoshi Tsujimura

Active Matrix Liquid Crystal Displays Technology and Applications 1997

View all publications

Abstract

Related

Soft x-ray diffraction of striated muscle

A global spatial similarity optimization scheme to track large numbers of dendritic spines in time-lapse confocal microscopy

Analytics for resiliency in the mainframe

Anomalous interface degradation of a-Si:H TFTs during LCD lifetime