The following pages link to Dan Grossman (Q2817721):
Displaying 10 items.
- Principals in programming languages (Q2817722) (← links)
- Optimizing synthesis with metasketches (Q2828321) (← links)
- AtomCaml (Q2936772) (← links)
- High-level small-step operational semantics for transactions (Q3189825) (← links)
- A theory of platform-dependent low-level software (Q3189840) (← links)
- Compiling for template-based run-time code generation (Q4408687) (← links)
- (Q4532093) (← links)
- (Q4738343) (← links)
- Transactional events for ML (Q5178759) (← links)
- Ornaments for Proof Reuse in Coq (Q5875438) (← links)
