Work

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

DOI: 10.1007/978-3-642-17164-2_24

Authors: Jianzhou Zhao, Qi Zhang, Steve Zdancewic

Institution: University of Pennsylvania

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1821490864

FWCI: 0.59

Cites: 29

Cited by: 13

Related to: 9