Matches in DBpedia 2016-04 for { <http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Reynolds_typesabpara.pdf booktitle "Information Processing '83".
- Reynolds_typesabpara.pdf booktitle "Information Processing".
- Reynolds_typesabpara.pdf first "J.C.".
- Reynolds_typesabpara.pdf isCitedBy John_C._Reynolds.
- Reynolds_typesabpara.pdf isCitedBy Parametricity.
- Reynolds_typesabpara.pdf last "Reynolds".
- Reynolds_typesabpara.pdf location "North Holland, Amsterdam".
- Reynolds_typesabpara.pdf pages "513–523".
- Reynolds_typesabpara.pdf title "Types, Abstraction and Parametric Polymorphism".
- Reynolds_typesabpara.pdf title "Types, abstraction, and parametric polymorphism".
- Reynolds_typesabpara.pdf url Reynolds_typesabpara.pdf.
- Reynolds_typesabpara.pdf year "1983".