| Property | Value |
|---|
|
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/icfp/2015>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/John_H._Reppy>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Kathleen_Fisher>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/John_H._Reppy>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Kathleen_Fisher>
|
|
foaf:homepage
|
<http://dx.doi.org/doi.org%2F10.1145%2F2784731>
|
|
foaf:homepage
|
<https://doi.org/10.1145/2784731>
|
|
dc:identifier
|
DBLP conf/icfp/2015
(xsd:string)
|
|
dc:identifier
|
DOI doi.org%2F10.1145%2F2784731
(xsd:string)
|
|
dc:identifier
|
ISBN 978-1-4503-3669-7
(xsd:string)
|
|
swrc:isbn
|
ISBN 978-1-4503-3669-7
(xsd:string)
|
|
dcterms:issued
|
2015
(xsd:gYear)
|
|
rdfs:label
|
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015
(xsd:string)
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/AvanziniLM15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/BahrBE15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/BaumanBHKPST15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Blanchette0T15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Bodik15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/BowmanA15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/BuirasVR15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Chlipala15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/DannerLR15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/DownenJA15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Dunfield15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/GaboardiP15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/GenevesG15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/JaskelioffR15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/KarachaliasSVJ15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/KeilT15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/LeF15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/MatsudaW15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/NeisHKMDV15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/NewtonFV15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Pavlinovic0W15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/PloegC15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/PombrioK15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/RendelTO15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/RompfA15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Rossberg15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Russo15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/SchererR15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/Sheeran15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/SmolkaEFG15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/SteuwerFLD15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/StuckiRUB15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/SwordsST15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/VazouBJ15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/YangCAEKN15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/ZhuNJ15>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/icfp/ZilianiS15>
|
|
dc:publisher
|
ACM
(xsd:string)
|
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/icfp/2015/dblp>
|
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/icfp/2015>
|
|
owl:sameAs
|
<urn:isbn:978-1-4503-3669-7>
|
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-1-4503-3669-7>
|
|
rdfs:seeAlso
|
<https://doi.org/10.1145/2784731>
|
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/icfp>
|
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html>
|
|
dc:title
|
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015
(xsd:string)
|
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
|
rdf:type
|
swrc:Proceedings
|
|
rdf:type
|
foaf:Document
|
![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)