Search dblp for Publications

export results for "toc:db/journals/jfp/jfp32.bht:"

 download as .bib file

@article{DBLP:journals/jfp/AnnenkovMNS22,
  author       = {Danil Annenkov and
                  Mikkel Milo and
                  Jakob Botsch Nielsen and
                  Bas Spitters},
  title        = {Extracting functional programs from Coq, in Coq},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e11},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000077},
  doi          = {10.1017/S0956796822000077},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/AnnenkovMNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bahr22,
  author       = {Patrick Bahr},
  title        = {Modal {FRP} for all: Functional reactive programming without space
                  leaks in Haskell},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e15},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000132},
  doi          = {10.1017/S0956796822000132},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Bahr22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CamporaCEW22,
  author       = {John Peter Campora III and
                  Sheng Chen and
                  Martin Erwig and
                  Eric Walkingshaw},
  title        = {Migrating gradual types},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e14},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000089},
  doi          = {10.1017/S0956796822000089},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CamporaCEW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ChuangIZ22,
  author       = {Cheng{-}En Chuang and
                  Grant Iraci and
                  Lukasz Ziarek},
  title        = {Send to me first: Priority in synchronous message-passing},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e16},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000119},
  doi          = {10.1017/S0956796822000119},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ChuangIZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DannerL22,
  author       = {Norman Danner and
                  Daniel R. Licata},
  title        = {Denotational semantics as a foundation for cost recurrence extraction
                  for functional languages},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e8},
  year         = {2022},
  url          = {https://doi.org/10.1017/S095679682200003X},
  doi          = {10.1017/S095679682200003X},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/DannerL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Danvy22,
  author       = {Olivier Danvy},
  title        = {Fold-unfold lemmas for reasoning about recursive programs using the
                  Coq proof assistant},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e13},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000107},
  doi          = {10.1017/S0956796822000107},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Danvy22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DreyerP22,
  author       = {Derek Dreyer and
                  Benjamin C. Pierce},
  title        = {On being a PhD student of Robert Harper},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e3},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796821000289},
  doi          = {10.1017/S0956796821000289},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/DreyerP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GibbonsK22,
  author       = {Jeremy Gibbons and
                  Shriram Krishnamurthi},
  title        = {Editorial},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e1},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796821000265},
  doi          = {10.1017/S0956796821000265},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/GibbonsK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HinzeR22,
  author       = {Ralf Hinze and
                  Colin Runciman},
  title        = {Super-naturals},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e5},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000028},
  doi          = {10.1017/S0956796822000028},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton22,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e2},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796821000290},
  doi          = {10.1017/S0956796821000290},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton22a,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e7},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000053},
  doi          = {10.1017/S0956796822000053},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton22b,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e17},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000144},
  doi          = {10.1017/S0956796822000144},
  timestamp    = {Mon, 16 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/IwasakiEMMH22,
  author       = {Hideya Iwasaki and
                  Kento Emoto and
                  Akimasa Morihata and
                  Kiminori Matsuzaki and
                  Zhenjiang Hu},
  title        = {Fregel: a functional domain-specific language for vertex-centric large-scale
                  graph processing},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e4},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796821000277},
  doi          = {10.1017/S0956796821000277},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/IwasakiEMMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/KoronkevichRAB22,
  author       = {Paulette Koronkevich and
                  Ramon Rakow and
                  Amal Ahmed and
                  William J. Bowman},
  title        = {{ANF} preserves dependent types up to extensional equality},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e12},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000090},
  doi          = {10.1017/S0956796822000090},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/KoronkevichRAB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/PernaTW22,
  author       = {Stefano Perna and
                  Val Tannen and
                  Limsoon Wong},
  title        = {Iterating on multiple collections in synchrony},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e9},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000041},
  doi          = {10.1017/S0956796822000041},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/PernaTW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/PruiksmaP22,
  author       = {Klaas Pruiksma and
                  Frank Pfenning},
  title        = {Back to futures},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e6},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000016},
  doi          = {10.1017/S0956796822000016},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/PruiksmaP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Swierstra22,
  author       = {Wouter Swierstra},
  title        = {A well-known representation of monoids and its application to the
                  function 'vector reverse'},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e10},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796822000065},
  doi          = {10.1017/S0956796822000065},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Swierstra22.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.