Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/96709.96748> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 96709.96748 authorlink "Harry Mairson".
- 96709.96748 doi "10.1145/96709.96748".
- 96709.96748 first "Harry G.".
- 96709.96748 isCitedBy Hindley–Milner_type_system.
- 96709.96748 isbn "0-89791-343-4".
- 96709.96748 journal "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages".
- 96709.96748 last "Mairson".
- 96709.96748 pages "382–401".
- 96709.96748 publisher "ACM".
- 96709.96748 ref "harv".
- 96709.96748 series "POPL '90".
- 96709.96748 title "Deciding ML typability is complete for deterministic exponential time".
- 96709.96748 year "1990".