Linear Types Can Change the World!

Linear Types Can Change the World! (1990)

by Philip Wadler

Venue:	PROGRAMMING CONCEPTS AND METHODS
Citations:	122 - 9 self

User correction supplied by mph

Datum	Value	Source
TITLE	Linear Types Can Change the World!	user correction - Legacy Corrections
AUTHOR NAME	Philip Wadler	user correction
AUTHOR AFFIL	University of Glasgow; Author's address: Department of Computing Science, University of Glasgow	user correction
AUTHOR ADDR	G12 8QQ, Scotland.	user correction
ABSTRACT	The linear logic of J.-Y. Girard suggests a new type system for functional languages, one which supports operations that "change the world". Values belonging to a linear type must be used exactly once: like the world, they cannot be duplicated or destroyed. Such values require no reference counting or garbage collection, and safely admit destructive array update. Linear types extend Schmidt's notion of single threading; provide an alternative to Hudak and Bloss' update analysis; and offer a practical complement to Lafont and Holmström's elegant linear languages.	user correction
YEAR	1990	INFERENCE
VENUE	PROGRAMMING CONCEPTS AND METHODS	user correction
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	22 found	ParsCit 1.0