Work

Generic Programming within Dependently Typed Programming

Year: 2003

Type: book-chapter

Source: IFIP advances in information and communication technology

DOI: 10.1007/978-0-387-35672-3_1

Authors: Thorsten Altenkirch, Conor Mcbride

Institutions: University of Nottingham, Durham University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1578113853

FWCI: 28.51

Cites: 29

Cited by: 95

Related to: 10