The following pages link to Tiark Rompf (Q2931829):
Displayed 6 items.
- Optimizing data structures in high-level programs (Q2931835) (← links)
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (Q2936829) (← links)
- RRB vector: a practical general purpose immutable sequence (Q2981983) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- Type soundness proofs with definitional interpreters (Q5370900) (← links)
- LMS-Verify: abstraction without regret for verified systems programming (Q5370919) (← links)