Work

On the State of Coherence in the Land of Type Classes

Year: 2025

Type: article

Abstract: LAMP1

Source: The Art Science and Engineering of Programming

DOI: 10.22152/programming-journal.org/2025/10/15

Authors: Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham

Institution: École Polytechnique Fédérale de Lausanne

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4408106641

FWCI: 0.427

Cites:

Cited by: 1

Related to: 10