Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/1809028.1806612> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 1809028.1806612 accessdate "2012-08-29".
- 1809028.1806612 date "June 2010".
- 1809028.1806612 doi "10.1145/1809028.1806612".
- 1809028.1806612 first "Adam".
- 1809028.1806612 isCitedBy Metaprogramming.
- 1809028.1806612 issue "6".
- 1809028.1806612 journal "ACM SIGPLAN Notices".
- 1809028.1806612 last "Chlipala".
- 1809028.1806612 pages "122–133".
- 1809028.1806612 series "PLDI '10".
- 1809028.1806612 title "Ur: statically-typed metaprogramming with type-level record computation".
- 1809028.1806612 url "http://adam.chlipala.net/papers/UrPLDI10/UrPLDI10.pdf".
- 1809028.1806612 volume "45".