Work

Monad transformers and modular interpreters

Year: 1995

Type: conference-paper

Abstract: We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, call-by-value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing.

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/199448.199528

Authors: Sheng Liang, Paul Hudak, Mark Jones

Institutions: Yale University, University of Nottingham

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2141576692

FWCI: 7.477

Cites: 20

Cited by: 539

Related to: 10