Theorems for free!

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:academic_journal
gptkbp:author gptkb:Philip_Wadler
gptkbp:citation many works in programming language theory
https://www.w3.org/2000/01/rdf-schema#label Theorems for free!
gptkbp:influenced research on generic programming
research on program optimization
research on type theory
gptkbp:language English
gptkbp:publicationYear 1989
gptkbp:publishedIn gptkb:Proceedings_of_the_4th_International_Conference_on_Functional_Programming_Languages_and_Computer_Architecture
gptkbp:topic functional programming
parametric polymorphism
free theorems
gptkbp:bfsParent gptkb:Philip_Wadler
gptkbp:bfsLayer 6