BibTeX record conf/ifl/PenaS01

download as .bib file

@inproceedings{DBLP:conf/ifl/PenaS01,
  author    = {Ricardo Pena and
               Clara Segura},
  title     = {Sized Types for Typing Eden Skeletons},
  booktitle = {Implementation of Functional Languages, 13th International Workshop,
               {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  pages     = {1--17},
  year      = {2001},
  crossref  = {DBLP:conf/ifl/2001},
  url       = {https://doi.org/10.1007/3-540-46028-4_1},
  doi       = {10.1007/3-540-46028-4_1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/PenaS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2001,
  editor    = {Thomas Arts and
               Markus Mohnen},
  title     = {Implementation of Functional Languages, 13th International Workshop,
               {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2312},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46028-4},
  doi       = {10.1007/3-540-46028-4},
  isbn      = {3-540-43537-9},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier