Travelled to:
1 × Canada
Collaborated with:
T.Rendel K.Ostermann
Talks about:
refunction (1) copattern (1) problem (1) languag (1) express (1) automat (1) applic (1) match (1)
Person: Julia Trieflinger
DBLP: Trieflinger:Julia
Contributed to:
Wrote 1 papers:
- ICFP-2015-RendelTO #automation #pattern matching #problem
- Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.