Matches in DBpedia 2016-04 for { <http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/gadt-rigid-contexts.pdf> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- gadt-rigid-contexts.pdf authorlink1 "Simon Peyton Jones".
- gadt-rigid-contexts.pdf authorlink2 "Dimitrios Vytiniotis".
- gadt-rigid-contexts.pdf authorlink3 "Stephanie Weirich".
- gadt-rigid-contexts.pdf authorlink4 "Geoffrey Washburn".
- gadt-rigid-contexts.pdf first1 "Simon".
- gadt-rigid-contexts.pdf first2 "Dimitrios".
- gadt-rigid-contexts.pdf first3 "Stephanie".
- gadt-rigid-contexts.pdf first4 "Geoffrey".
- gadt-rigid-contexts.pdf isCitedBy Generalized_algebraic_data_type.
- gadt-rigid-contexts.pdf journal "Proceedings of the ACM International Conference on Functional Programming , Portland".
- gadt-rigid-contexts.pdf last1 "Peyton Jones".
- gadt-rigid-contexts.pdf last2 "Vytiniotis".
- gadt-rigid-contexts.pdf last3 "Weirich".
- gadt-rigid-contexts.pdf last4 "Washburn".
- gadt-rigid-contexts.pdf ref "harv".
- gadt-rigid-contexts.pdf title "Simple Unification-based Type Inference for GADTs".
- gadt-rigid-contexts.pdf url "http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/gadt-rigid-contexts.pdf".
- gadt-rigid-contexts.pdf year "2006".