Jan Schwinghammer

Identifiers

• name variant Jan Schwinghammer 0.60 · backfill

Papers (1)

1. A Step-indexed Semantics of Imperative Objects cs.PL · 2009 · author #2

Mentions

• 0906.1350 #2 · backfill · confidence 0.70 Jan Schwinghammer

Frequent Coauthors

• Catalin Hritcu 1 shared papers