Julia Trieflinger

According to our database, Julia Trieflinger authored at least 2 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2009

High-level Proofs about Low-level Programs.

Holger Gast, Julia Trieflinger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009