BibTeX record journals/toplas/LepigreR19

download as .bib file

@article{DBLP:journals/toplas/LepigreR19,
  author    = {Rodolphe Lepigre and
               Christophe Raffalli},
  title     = {Practical Subtyping for Curry-Style Languages},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {41},
  number    = {1},
  pages     = {5:1--5:58},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics