Matches in DBpedia 2016-04 for { <http://www.kestrel.edu/home/people/meertens/publications/papers/Incremental_polymorphic_type_checking_in_B.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Incremental_polymorphic_type_checking_in_B.pdf authorlink "Lambert Meertens".
- Incremental_polymorphic_type_checking_in_B.pdf first "Lambert".
- Incremental_polymorphic_type_checking_in_B.pdf isCitedBy Polymorphic_recursion.
- Incremental_polymorphic_type_checking_in_B.pdf journal "ACM Symposium on Principles of Programming Languages , Austin, Texas".
- Incremental_polymorphic_type_checking_in_B.pdf last "Meertens".
- Incremental_polymorphic_type_checking_in_B.pdf title "Incremental polymorphic type checking in B".
- Incremental_polymorphic_type_checking_in_B.pdf url Incremental_polymorphic_type_checking_in_B.pdf.
- Incremental_polymorphic_type_checking_in_B.pdf year "1983".