Work

A Meta-Logic for Functional Programming.

Year: 1988

Type: book

Source: The MIT Press eBooks

Authors: John Hannan, D. Craig Miller

Language: German

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1574609182

FWCI: 2.333

Cites:

Cited by: 15

Related to: 10