Search dblp for Publications

export results for "toc:db/conf/ifl/ifl2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifl/BeurdenS22,
  author       = {Patrick van Beurden and
                  Sven{-}Bodo Scholz},
  title        = {On Generating Out-Of-Core {GPU} Code for Multi-Dimensional Array Operations},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {7:1--7:13},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587223},
  doi          = {10.1145/3587216.3587223},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/BeurdenS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/FlorS22,
  author       = {Jo{\~{a}}o Paulo Pizani Flor and
                  Wouter Swierstra},
  title        = {Verified Technology Mapping in an Agda {DSL} for Circuit Design: Circuit
                  refinement through gate and data concretisation},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {1:1--1:13},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587217},
  doi          = {10.1145/3587216.3587217},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/FlorS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/HuttelNSAM22,
  author       = {Hans H{\"{u}}ttel and
                  Anja Elisasen Lumholtz Nielsen and
                  Nana Gjerulf Sandberg and
                  Christoffer Lind Andersen and
                  Peter Mikkelsen},
  title        = {A Structure Editor with Type-Safe Copy/Paste},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {5:1--5:11},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587221},
  doi          = {10.1145/3587216.3587221},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/HuttelNSAM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/LubbersKP22,
  author       = {Mart Lubbers and
                  Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  title        = {First-Class Data Types in Shallow Embedded Domain-Specific Languages
                  using Metaprogramming},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {3:1--3:12},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587219},
  doi          = {10.1145/3587216.3587219},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/LubbersKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/MaclaurinRP22,
  author       = {Dougal Maclaurin and
                  Alexey Radul and
                  Adam Paszke},
  title        = {The Foil: Capture-Avoiding Substitution With No Sharp Edges},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {8:1--8:10},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587224},
  doi          = {10.1145/3587216.3587224},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/MaclaurinRP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/MunksgaardOH22,
  author       = {Philip Munksgaard and
                  Cosmin E. Oancea and
                  Troels Henriksen},
  title        = {Compiling a functional array language with non-semantic memory information},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {2:1--2:13},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587218},
  doi          = {10.1145/3587216.3587218},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/MunksgaardOH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/RedmondSVK22,
  author       = {Patrick Redmond and
                  Gan Shen and
                  Niki Vazou and
                  Lindsey Kuper},
  title        = {Verified Causal Broadcast with Liquid Haskell},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {6:1--6:13},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587222},
  doi          = {10.1145/3587216.3587222},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/RedmondSVK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/SchimpfWB22,
  author       = {Albert Schimpf and
                  Stefan Wehr and
                  Annette Bieniusa},
  title        = {Set-theoretic Types for Erlang},
  booktitle    = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  pages        = {4:1--4:14},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216.3587220},
  doi          = {10.1145/3587216.3587220},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/SchimpfWB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifl/2022,
  title        = {Proceedings of the 34th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August
                  2022- 2 September 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3587216},
  doi          = {10.1145/3587216},
  isbn         = {978-1-4503-9831-2},
  timestamp    = {Thu, 20 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2022.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.