Matches in DBpedia 2016-04 for { <http://repository.upenn.edu/cgi/viewcontent.cgi?article=1394&context=cis_papers> ?p ?o }
Showing triples 1 to 4 of
4
with 100 triples per page.
- viewcontent.cgi?article=1394&context=cis_papers author "Aydemir, Chargueraud, Pierce, Pollack, Weirich".
- viewcontent.cgi?article=1394&context=cis_papers isCitedBy De_Bruijn_index.
- viewcontent.cgi?article=1394&context=cis_papers title "Engineering Formal Metatheory".
- viewcontent.cgi?article=1394&context=cis_papers url "http://repository.upenn.edu/cgi/viewcontent.cgi?article=1394&context=cis_papers".