https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/s/TomSchrijvers +
, https://dblp.org/pid/j/SimonLPeytonJones +
, https://dblp.org/pid/94/756 +
, https://dblp.org/pid/00/6362 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/1596550.1596599 +
, https://doi.org/10.1145/1631687.1596599 +
|
https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/1596550.1596599 +
, http://dx.doi.org/10.1145/1596550.1596599 +
, https://doi.org/10.1145/1631687.1596599 +
, http://dx.doi.org/10.1145/1631687.1596599 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/icfp/icfp2009 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
4
|
https://dblp.org/rdf/schema#pagination
|
341-352
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/1596550.1596599 +
|
https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/icfp/2009 +
|
https://dblp.org/rdf/schema#publishedIn
|
ICFP
|
https://dblp.org/rdf/schema#publishedInBook
|
ICFP
|
https://dblp.org/rdf/schema#title
|
Complete and decidable type inference for GADTs.
|
https://dblp.org/rdf/schema#yearOfEvent
|
2009
|
https://dblp.org/rdf/schema#yearOfPublication
|
2009
|
owl:sameAs |
https://doi.org/10.1145/1596550.1596599 +
, http://dx.doi.org/10.1145/1596550.1596599 +
, https://doi.org/10.1145/1631687.1596599 +
, http://dx.doi.org/10.1145/1631687.1596599 +
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
rdfs:label |
Tom Schrijvers et al.: Complete and decidable type inference for GADTs. (2009)
|