Work

Computational lambda-calculus and monads

Year: 2003

Type: conference-paper

Source: ACM/IEEE Symposium on Logic in Computer Science (LICS)

DOI: 10.1109/lics.1989.39155

Author: E. Moggi

Institutions: University of Pisa, University of Edinburgh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2156876717

FWCI: 22.6

Cites: 25

Cited by: 900

Related to: 10