Jan Stolarek

Identifiers

No identifiers captured yet.

Papers (2)

1. Verified Self-Explaining Computation cs.PL · 2019 · author #1
2. Imperative Functional Programs that Explain their Work cs.PL · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• James Cheney 2 shared papers
• Roly Perera 1 shared papers
• Wilmer Ricciotti 1 shared papers