Work

Type-Based Useless-Code Elimination for Functional Programs Position Paper

Year: 2000

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-45350-4_13

Authors: Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini

Institutions: University of Turin, Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W17669562

FWCI: 1.079

Cites: 24

Cited by: 10

Related to: 10