Work

Program Synthesis With Types

Year: 2015

Type: dissertation

Source: ScholarlyCommons (University of Pennsylvania)

Author: Peter-Michael Osera

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1804428503

Cites: 64

Cited by: 2

Related to: 10