Search dblp for Publications

export results for "toc:db/conf/icfp/scheme2020.bht:"

 download as .bib file

@proceedings{DBLP:conf/icfp/2020scheme,
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  publisher    = {University of Michigan},
  year         = {2021},
  url          = {https://www.eecs.umich.edu/techreports/cse/2021/CSE-TR-001-21.pdf},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2020scheme.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/CongFM20,
  author       = {Youyou Cong and
                  Naoya Furudono and
                  Hidehiko Masuhara},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {On Teaching Type Systems as Macros (Lightning Talk)},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {77},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 15 Feb 2022 12:32:42 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/CongFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DarraghHE20,
  author       = {Pierce Darragh and
                  William Gallard Hatch and
                  Eric Eide},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Clotho: {A} Racket Library for Parametric Randomness},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {3--13},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DarraghHE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/HenzW20,
  author       = {Martin Henz and
                  Tobias Wrigstad},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {{SICP} {JS:} Ketchup on Caviar?},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {1},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/HenzW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/KhomtchoukF20,
  author       = {Bohdan Khomtchouk and
                  Jonah Fleishhacker},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {21st Century Lisp in Academic Research and Pedagogy},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {2},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/KhomtchoukF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Lepiller20,
  author       = {Julien Lepiller},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Programming with Petri Nets to Reason about Concurrency},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {79},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Lepiller20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Montanari20,
  author       = {Francesco Montanari},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Scheme for scientific computing},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {66--76},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Montanari20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Nikishkin20,
  author       = {Vladimir Nikishkin},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Solving {SICP:} An Experience Report on Solving the World's Most Famous
                  Programming Problem Set},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {14--50},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Nikishkin20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/NoseCM20,
  author       = {Junya Nose and
                  Youyou Cong and
                  Hidehiko Masuhara},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Designing a Programming Environment Based on the Program Design Recipe
                  (Lightening Talk)},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {78},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/NoseCM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/YvonF20,
  author       = {Samuel Yvon and
                  Marc Feeley},
  editor       = {Baptiste Saleil and
                  Michael D. Adams},
  title        = {Running Scheme On Bare Metal (Experience Report)},
  booktitle    = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                  Online, Virtual Event, August 20-28, 2020},
  series       = {{CSE} Technical Reports},
  volume       = {{CSE-TR-001-21}},
  pages        = {51--65},
  publisher    = {University of Michigan},
  year         = {2020},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/YvonF20.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.