Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bidirectional_type_checking> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- Bidirectional_type_checking wikiPageID "24476659".
- Bidirectional_type_checking wikiPageRedirects Simply_typed_lambda_calculus.
- Bidirectional_type_checking wikiPageRevisionID "316257357".
- Bidirectional_type_checking label "Bidirectional type checking".
- Bidirectional_type_checking wasDerivedFrom Bidirectional_type_checking?oldid=316257357.
- Bidirectional_type_checking isPrimaryTopicOf Bidirectional_type_checking.