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

Discourse segmentation in aid of document summarization

B.K. Boguraev, Mary S. Neff

HICSS 2000

Conference paper

Self-assembling materials for lithographic patterning: Overview, status and moving forward

William Hinsberg, Joy Cheng, et al.

SPIE Advanced Lithography 2010

Paper

Iterative Toeplitz solvers with local quadratic convergence

Elliot Linzer, M. Vetterli

Computing

Paper

Prioritizing a portfolio of information technology investment projects

Indranil R. Bardhan, Sugato Bagchi, et al.

JMIS

View all publications

Abstract

Related

Discourse segmentation in aid of document summarization

Self-assembling materials for lithographic patterning: Overview, status and moving forward

Iterative Toeplitz solvers with local quadratic convergence

Prioritizing a portfolio of information technology investment projects