Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/113445.113468> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 113445.113468 booktitle "Proceedings of the ACM Conference on Programming Language Design and Implementation".
- 113445.113468 doi "10.1145/113445.113468".
- 113445.113468 first1 "T.".
- 113445.113468 first2 "F.".
- 113445.113468 isCitedBy Refinement_(computing).
- 113445.113468 last1 "Freeman".
- 113445.113468 last2 "Pfenning".
- 113445.113468 pages "268–277".
- 113445.113468 title "Refinement types for ML".
- 113445.113468 url "https://www.cs.cmu.edu/~fp/papers/pldi91.pdf".
- 113445.113468 year "1991".