Work

A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation

Year: 1992

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-56282-6_13

Authors: Danny Schreye, Bern Martens

Institution: KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1546319926

FWCI: 1.737

Cites: 27

Cited by: 11

Related to: 10