Matches in DBpedia 2015-10 for { <http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/slp87.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- slp87.pdf author "Dale Miller and Gopalan Nadathur".
- slp87.pdf conference "IEEE Symposium on Logic Programming".
- slp87.pdf isCitedBy Higher-order_abstract_syntax.
- slp87.pdf pages "379–388".
- slp87.pdf title "A Logic Programming Approach to Manipulating Formulas and Programs".
- slp87.pdf url slp87.pdf.
- slp87.pdf year "1987".