Work

Interactive programming with dependent types

Year: 2013

Type: conference-paper

Source: ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/2500365.2500610

Author: Ulf Norell

Institution: University of Gothenburg

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2087667458

FWCI: 0.178

Cites: 7

Cited by: 4

Related to: 10