Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/icfp/Allais19,
  author       = {Guillaume Allais},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Generic level polymorphic n-ary functions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {14--26},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342604},
  doi          = {10.1145/3331554.3342604},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Allais19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/InnesW19,
  author       = {Sean Innes and
                  Nicolas Wu},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Tic tac types: a gentle introduction to dependently typed programming
                  (functional pearl)},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {40--51},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342606},
  doi          = {10.1145/3331554.3342606},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/InnesW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/JacobsND19,
  author       = {Koen Jacobs and
                  Andreas Nuyts and
                  Dominique Devriese},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {How to do proofs: practically proving properties about effectful programs'
                  results (functional pearl)},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342603},
  doi          = {10.1145/3331554.3342603},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/JacobsND19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Monnier19,
  author       = {Stefan Monnier},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Inductive types deconstructed: the calculus of united constructions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {52--63},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342607},
  doi          = {10.1145/3331554.3342607},
  timestamp    = {Wed, 31 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Monnier19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/OConnor19,
  author       = {Liam O'Connor},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Deferring the details and deriving programs},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {27--39},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342605},
  doi          = {10.1145/3331554.3342605},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/OConnor19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Osera19,
  author       = {Peter{-}Michael Osera},
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Constraint-based type-directed program synthesis},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages        = {64--76},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554.3342608},
  doi          = {10.1145/3331554.3342608},
  timestamp    = {Wed, 31 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Osera19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2019tyde,
  editor       = {David Darais and
                  Jeremy Gibbons},
  title        = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331554},
  doi          = {10.1145/3331554},
  isbn         = {978-1-4503-6815-5},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2019tyde.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}