Tiark Rompf

Available identifiers

zbMath Open rompf.tiarkMaRDI QIDQ2931829

List of research outcomes

Publication	Date of Publication	Type
Lightweight functional logic meta-programming	2024-04-19	Paper
LMS-Verify: abstraction without regret for verified systems programming	2017-10-20	Paper
Type soundness proofs with definitional interpreters	2017-10-20	Paper
RRB vector: a practical general purpose immutable sequence	2017-05-10	Paper
The essence of dependent object types	2016-08-17	Paper
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform	2015-01-06	Paper
Optimizing data structures in high-level programs, new directions for extensible compilers based on staging	2014-11-27	Paper

Research outcomes over time

This page was built for person: Tiark Rompf