Search dblp for Publications

export results for "toc:db/conf/tldi/tldi2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tldi/AvijitDH10,
  author       = {Kumar Avijit and
                  Anupam Datta and
                  Robert Harper},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Distributed programming with distributed authorization},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708021},
  doi          = {10.1145/1708016.1708021},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/AvijitDH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/Felleisen10,
  author       = {Matthias Felleisen},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Adding types to untyped languages},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708017},
  doi          = {10.1145/1708016.1708017},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/Felleisen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/GerakiosPS10,
  author       = {Prodromos Gerakios and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Race-free and memory-safe multithreading: design and implementation
                  in cyclone},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708020},
  doi          = {10.1145/1708016.1708020},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/GerakiosPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/KrishnaswamiBA10,
  author       = {Neel Krishnaswami and
                  Lars Birkedal and
                  Jonathan Aldrich},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Verifying event-driven programs using ramified frame properties},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {63--76},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708025},
  doi          = {10.1145/1708016.1708025},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/KrishnaswamiBA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/LinS10,
  author       = {Chuan{-}Kai Lin and
                  Tim Sheard},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Pointwise generalized algebraic data types},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {51--62},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708024},
  doi          = {10.1145/1708016.1708024},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/LinS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/MazurakZZ10,
  author       = {Karl Mazurak and
                  Jianzhou Zhao and
                  Steve Zdancewic},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Lightweight linear types in system fdegree},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {77--88},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708027},
  doi          = {10.1145/1708016.1708027},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/MazurakZZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/RossbergRD10,
  author       = {Andreas Rossberg and
                  Claudio V. Russo and
                  Derek Dreyer},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {F-ing modules},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {89--102},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708028},
  doi          = {10.1145/1708016.1708028},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/RossbergRD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/VytiniotisJS10,
  author       = {Dimitrios Vytiniotis and
                  Simon L. Peyton Jones and
                  Tom Schrijvers},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Let should not be generalized},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {39--50},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708023},
  doi          = {10.1145/1708016.1708023},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/VytiniotisJS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/YiF10,
  author       = {Jaeheon Yi and
                  Cormac Flanagan},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Effects for cooperable and serializable threads},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708019},
  doi          = {10.1145/1708016.1708019},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/YiF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tldi/2010,
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {http://dl.acm.org/citation.cfm?id=1708016},
  isbn         = {978-1-60558-891-9},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.