Karl Crary

Identifiers

• name variant Karl Crary 0.60 · backfill

Papers (4)

1. Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency cs.PL · 2019 · author #2
2. Hygienic Source-Code Generation Using Functors cs.PL · 2018 · author #1
3. Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice cs.LO · 2010 · author #1
4. Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight cs.LO · 2006 · author #1

Mentions

• 1009.2189 #1 · backfill · confidence 0.70 Karl Crary

Frequent Coauthors

• Marino Miculan 1 shared papers
• Michael J. Sullivan 1 shared papers
• Robert Harper 1 shared papers
• Salil Joshi 1 shared papers