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

Automatic taxonomy generation: Issues and possibilities

Raghu Krishnapuram, Krishna Kummamuru

IFSA 2003

Conference paper

Semantic interoperability and transformation in enterprise integration

Raymond Wu, Jie Lu

ITA Conference 2007

Paper

Serving Deep Learning Models with Deduplication from Relational Databases

Lixi Zhou, Jiaqing Chen, et al.

VLDB

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

View all publications

Abstract

Related

Automatic taxonomy generation: Issues and possibilities

Semantic interoperability and transformation in enterprise integration

Serving Deep Learning Models with Deduplication from Relational Databases

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