Showing 1 - 1 results of 1 for search 'Catalin Hritcu', query time: 0.02s Refine Results
  1. 1
    A Step-indexed Semantics of Imperative Objects

    A Step-indexed Semantics of Imperative Objects by Catalin Hritcu, Jan Schwinghammer

    Published 2009-12-01
    Get full text
    Article

Search Tools: