Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tldi/BentonB07,
  author       = {Nick Benton and
                  Peter Buchlovsky},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {Semantics of an effect analysis for exceptions},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190320},
  doi          = {10.1145/1190315.1190320},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/BentonB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/FengNSG07,
  author       = {Xinyu Feng and
                  Zhaozhong Ni and
                  Zhong Shao and
                  Yu Guo},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {An open framework for foundational proof-carrying code},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {67--78},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190325},
  doi          = {10.1145/1190315.1190325},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/FengNSG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/Fisher07,
  author       = {Kathleen Fisher},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {Typing ad hoc data},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {39--40},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190317},
  doi          = {10.1145/1190315.1190317},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/Fisher07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/HawblitzelHWC07,
  author       = {Chris Hawblitzel and
                  Heng Huang and
                  Lea Wittie and
                  Juan Chen},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {A garbage-collecting typed assembly language},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {41--52},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190323},
  doi          = {10.1145/1190315.1190323},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/HawblitzelHWC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/McBride07,
  author       = {Conor McBride},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {What's the deal with dependent types?},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190316},
  doi          = {10.1145/1190315.1190316},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/McBride07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/RemyY07,
  author       = {Didier R{\'{e}}my and
                  Boris Yakobowski},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {A graphical presentation of ML\({}^{\mbox{F}}\) types with a linear-time
                  unification algorithm},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190321},
  doi          = {10.1145/1190315.1190321},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/RemyY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/SrivastavaHF07,
  author       = {Saurabh Srivastava and
                  Michael Hicks and
                  Jeffrey S. Foster},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {Modular information hiding and type-safe linking for {C}},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190319},
  doi          = {10.1145/1190315.1190319},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/SrivastavaHF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/SulzmannCJD07,
  author       = {Martin Sulzmann and
                  Manuel M. T. Chakravarty and
                  Simon L. Peyton Jones and
                  Kevin Donnelly},
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {System {F} with type equality coercions},
  booktitle    = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  pages        = {53--66},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1190315.1190324},
  doi          = {10.1145/1190315.1190324},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/SulzmannCJD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tldi/2007,
  editor       = {Fran{\c{c}}ois Pottier and
                  George C. Necula},
  title        = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Nice, France, January
                  16, 2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {http://dl.acm.org/citation.cfm?id=1190315},
  isbn         = {1-59593-393-X},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.