Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/icfp/AllaisMB13,
  author       = {Guillaume Allais and
                  Conor McBride and
                  Pierre Boutillier},
  editor       = {Stephanie Weirich},
  title        = {New equations for neutral terms: a sound and complete decision procedure,
                  formalized},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502411},
  doi          = {10.1145/2502409.2502411},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/AllaisMB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Danielsson13,
  author       = {Nils Anders Danielsson},
  editor       = {Stephanie Weirich},
  title        = {Correct-by-construction pretty-printing},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502410},
  doi          = {10.1145/2502409.2502410},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Danielsson13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DiehlS13,
  author       = {Larry Diehl and
                  Tim Sheard},
  editor       = {Stephanie Weirich},
  title        = {Leveling up dependent types: generic programming over a predicative
                  hierarchy of universes},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502414},
  doi          = {10.1145/2502409.2502414},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DiehlS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/GlewSP13,
  author       = {Neal Glew and
                  Tim Sweeney and
                  Leaf Petersen},
  editor       = {Stephanie Weirich},
  title        = {A multivalued language with a dependent type system},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502412},
  doi          = {10.1145/2502409.2502412},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/GlewSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/KoG13,
  author       = {Hsiang{-}Shang Ko and
                  Jeremy Gibbons},
  editor       = {Stephanie Weirich},
  title        = {Relational algebraic ornaments},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409.2502413},
  doi          = {10.1145/2502409.2502413},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/KoG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2013dtp,
  editor       = {Stephanie Weirich},
  title        = {Proceedings of the 2013 {ACM} {SIGPLAN} workshop on Dependently-typed
                  programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September
                  24, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502409},
  doi          = {10.1145/2502409},
  isbn         = {978-1-4503-2384-0},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2013dtp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}