Matches in DBpedia 2016-04 for { <http://www.cs.cmu.edu/~dklee/papers/tslf-popl.pdf> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- tslf-popl.pdf accessdate "2007-02-08".
- tslf-popl.pdf author2 "Karl Crary".
- tslf-popl.pdf author3 Robert_Harper_(computer_scientist).
- tslf-popl.pdf conference "Proceedings of the 2007 Symposium on the Principles of Programming Languages".
- tslf-popl.pdf date "January 2007".
- tslf-popl.pdf first "Daniel".
- tslf-popl.pdf format "PDF".
- tslf-popl.pdf isCitedBy Twelf.
- tslf-popl.pdf last "Lee".
- tslf-popl.pdf location France.
- tslf-popl.pdf location Nice.
- tslf-popl.pdf title "Towards a Mechanized Metatheory of Standard ML".
- tslf-popl.pdf url tslf-popl.pdf.