Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.entcs.2007.11.012> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- j.entcs.2007.11.012 authorlink "Tim Sheard".
- j.entcs.2007.11.012 authorlink2 "Emir Pasalic".
- j.entcs.2007.11.012 doi "10.1016/j.entcs.2007.11.012".
- j.entcs.2007.11.012 first1 "Tim".
- j.entcs.2007.11.012 first2 "Emir".
- j.entcs.2007.11.012 isCitedBy Generalized_algebraic_data_type.
- j.entcs.2007.11.012 journal "Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-languages , Cork".
- j.entcs.2007.11.012 last1 "Sheard".
- j.entcs.2007.11.012 last2 "Pasalic".
- j.entcs.2007.11.012 ref "harv".
- j.entcs.2007.11.012 title "Meta-programming with built-in type equality".
- j.entcs.2007.11.012 year "2004".