Julia Trieflinger

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Pattern Matching

English Language

Algebraic Expressions

Top Venues

Publications

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. ICFP (2015)
Holger Gast, Julia Trieflinger
High-level Proofs about Low-level Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)