Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs382.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2308-06969,
  author       = {Marco T. Moraz{\'{a}}n},
  editor       = {Elena Machkasova},
  title        = {Regular Expressions in a {CS} Formal Languages Course},
  booktitle    = {Proceedings Twelfth International Workshop on Trends in Functional
                  Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
                  12th January 2023},
  series       = {{EPTCS}},
  volume       = {382},
  pages        = {45--63},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.382.3},
  doi          = {10.4204/EPTCS.382.3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-06969.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-06970,
  author       = {Nadine Karsten and
                  Frederik Krogsdal Jacobsen and
                  Kim Jana Eiken and
                  Uwe Nestmann and
                  J{\o}rgen Villadsen},
  editor       = {Elena Machkasova},
  title        = {ProofBuddy: {A} Proof Assistant for Learning and Monitoring},
  booktitle    = {Proceedings Twelfth International Workshop on Trends in Functional
                  Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
                  12th January 2023},
  series       = {{EPTCS}},
  volume       = {382},
  pages        = {1--21},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.382.1},
  doi          = {10.4204/EPTCS.382.1},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-06970.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-06971,
  author       = {Brent A. Yorgey},
  editor       = {Elena Machkasova},
  title        = {Disco: {A} Functional Programming Language for Discrete Mathematics},
  booktitle    = {Proceedings Twelfth International Workshop on Trends in Functional
                  Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
                  12th January 2023},
  series       = {{EPTCS}},
  volume       = {382},
  pages        = {64--81},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.382.4},
  doi          = {10.4204/EPTCS.382.4},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-06971.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2308-07938,
  author       = {Ole L{\"{u}}bke and
                  Konrad Fuger and
                  Fin Hendrik Bahnsen and
                  Katrin Billerbeck and
                  Sibylle Schupp},
  editor       = {Elena Machkasova},
  title        = {Computer Aided Design and Grading for an Electronic Functional Programming
                  Exam},
  booktitle    = {Proceedings Twelfth International Workshop on Trends in Functional
                  Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
                  12th January 2023},
  series       = {{EPTCS}},
  volume       = {382},
  pages        = {22--44},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.382.2},
  doi          = {10.4204/EPTCS.382.2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-07938.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2308-06110,
  editor       = {Elena Machkasova},
  title        = {Proceedings Twelfth International Workshop on Trends in Functional
                  Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
                  12th January 2023},
  series       = {{EPTCS}},
  volume       = {382},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.382},
  doi          = {10.4204/EPTCS.382},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-06110.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.