Josef Svenningsson

Identifiers

• name variant Josef Svenningsson 0.60 · backfill

Papers (3)

1. Embedding by Normalisation cs.PL · 2016 · author #3
2. Everything old is new again: Quoted Domain Specific Languages cs.PL · 2015 · author #3
3. Specification and Verification of Side Channel Declassification cs.CR · 2009 · author #1

Mentions

• 1507.07264 #3 · backfill · confidence 0.70 Josef Svenningsson
• 0912.2952 #1 · backfill · confidence 0.70 Josef Svenningsson

Frequent Coauthors

• Philip Wadler 2 shared papers
• Sam Lindley 2 shared papers
• Shayan Najd 2 shared papers
• David Sands 1 shared papers