Matches in DBpedia 2015-10 for { <http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- ydtm.pdf author1 "Conor McBride".
- ydtm.pdf authorlink1 "Thorsten Altenkirch".
- ydtm.pdf authorlink2 "Conor McBride".
- ydtm.pdf authorlink3 "James McKinna".
- ydtm.pdf authormask1 "with:".
- ydtm.pdf date "April 2005".
- ydtm.pdf first1 "Thorsten".
- ydtm.pdf first2 "Conor".
- ydtm.pdf first2 "Thorsten".
- ydtm.pdf first3 "James".
- ydtm.pdf isCitedBy Conor_McBride.
- ydtm.pdf isCitedBy Dependent_type.
- ydtm.pdf last1 "Altenkirch".
- ydtm.pdf last2 "Altenkirch".
- ydtm.pdf last2 "McBride".
- ydtm.pdf last3 "McKinna".
- ydtm.pdf title "Why Dependent Types Matter".
- ydtm.pdf title "Why dependent types matter".
- ydtm.pdf url ydtm.pdf.