Details
Title
Rompf, Tiark
Sciper ID
185682
Affiliated labs
LAMP
Publications
A cryptographically t-private auction system
Forge: Generating a High Performance DSL Implementation from a Declarative Specification
Foundations of Path-Dependent Types
Lightweight Modular Staging and Embedded Compilers
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
On A Generic Parallel Collection Framework
RRB-Trees: Efficient Immutable Vectors
Staged Parser Combinators for Efficient Data Processing
Staged parser combinators for efficient data processing
Unifying Functional and Object-Oriented Programming with Scala
See complete list of publications (38)
Forge: Generating a High Performance DSL Implementation from a Declarative Specification
Foundations of Path-Dependent Types
Lightweight Modular Staging and Embedded Compilers
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
On A Generic Parallel Collection Framework
RRB-Trees: Efficient Immutable Vectors
Staged Parser Combinators for Efficient Data Processing
Staged parser combinators for efficient data processing
Unifying Functional and Object-Oriented Programming with Scala
See complete list of publications (38)
Link to search
All resources
Record appears in
Authorities > People