BibTeX record conf/ifl/SinkarovsSSV17

download as .bib file

@inproceedings{DBLP:conf/ifl/SinkarovsSSV17,
  author    = {Artjoms Sinkarovs and
               Sven{-}Bodo Scholz and
               Robert J. Stewart and
               Hans{-}Nikolai Vie{\ss}mann},
  title     = {Recursive Array Comprehensions in a Call-by-Value Language},
  booktitle = {{IFL}},
  pages     = {5:1--5:12},
  publisher = {{ACM}},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics