Search dblp for Publications

export results for "toc:db/conf/plpv/plpv2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/plpv/BoveDS09,
  author       = {Ana Bove and
                  Peter Dybjer and
                  Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Embedding a logical theory of constructions in Agda},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481857},
  doi          = {10.1145/1481848.1481857},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/BoveDS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/ErkokM09,
  author       = {Levent Erk{\"{o}}k and
                  John Matthews},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Pragmatic equivalence and safety checking in Cryptol},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481860},
  doi          = {10.1145/1481848.1481860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/ErkokM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Fahndrich09,
  author       = {Manuel F{\"{a}}hndrich},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Language-agnostic specification and verification: invited talk},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481849},
  doi          = {10.1145/1481848.1481849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Fahndrich09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/KnowlesF09,
  author       = {Kenneth L. Knowles and
                  Cormac Flanagan},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Compositional reasoning and decidable checking for dependent contract
                  types},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481853},
  doi          = {10.1145/1481848.1481853},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KnowlesF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/LicataH09,
  author       = {Daniel R. Licata and
                  Robert Harper},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Positively dependent types},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481851},
  doi          = {10.1145/1481848.1481851},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/LicataH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SchaferEM09,
  author       = {Max Sch{\"{a}}fer and
                  Torbj{\"{o}}rn Ekman and
                  Oege de Moor},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Challenge proposal: verification of refactorings},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {67--72},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481859},
  doi          = {10.1145/1481848.1481859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SchaferEM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SchrijversGM09,
  author       = {Tom Schrijvers and
                  Louis{-}Julien Guillemette and
                  Stefan Monnier},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Type invariants for Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {39--48},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481855},
  doi          = {10.1145/1481848.1481855},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SchrijversGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/StumpDPSS09,
  author       = {Aaron Stump and
                  Morgan Deters and
                  Adam Petcher and
                  Todd Schiller and
                  Timothy W. Simpson},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Verified programming in Guru},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {49--58},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481856},
  doi          = {10.1145/1481848.1481856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/StumpDPSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Zeilberger09,
  author       = {Noam Zeilberger},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Refinement types and computational duality},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481852},
  doi          = {10.1145/1481848.1481852},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Zeilberger09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2009,
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-330-3},
  timestamp    = {Thu, 28 Jan 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2009.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.