Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2207-12697,
  author       = {Marco T. Moraz{\'{a}}n},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Design of Classes {I}},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {1--21},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.1},
  doi          = {10.4204/EPTCS.363.1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12697.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12698,
  author       = {Daniil Berezun and
                  Dmitry Boulytchev},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained
                  One},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {22--43},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.2},
  doi          = {10.4204/EPTCS.363.2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12698.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12699,
  author       = {Frederik Krogsdal Jacobsen and
                  J{\o}rgen Villadsen},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Teaching Functional Programmers Logic and Metatheory},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {74--92},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.5},
  doi          = {10.4204/EPTCS.363.5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12700,
  author       = {Marco T. Moraz{\'{a}}n},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Introduction to Functional Classes in {CS1}},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {114--131},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.7},
  doi          = {10.4204/EPTCS.363.7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12700.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12701,
  author       = {Padma Pasupathi and
                  Christopher W. Schankula and
                  Nicole DiVincenzo and
                  Sarah Coker and
                  Christopher Kumar Anand},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Teaching Interaction using State Diagrams},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {132--152},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.8},
  doi          = {10.4204/EPTCS.363.8},
  timestamp    = {Sat, 15 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12701.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12702,
  author       = {Marc Feeley and
                  Olivier Melan{\c{c}}on},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Teaching Programming to Novices Using the codeBoot Online Environment},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {44--53},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.3},
  doi          = {10.4204/EPTCS.363.3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12702.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12703,
  author       = {Kevin Kappelmann and
                  Jonas R{\"{a}}dle and
                  Lukas Stevens},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Engaging, Large-Scale Functional Programming Education in Physical
                  and Virtual Space},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {93--113},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.6},
  doi          = {10.4204/EPTCS.363.6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-12703.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-04699,
  author       = {Matthew Farrugia{-}Roberts and
                  Bryn Jeffries and
                  Harald S{\o}ndergaard},
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Teaching Simple Constructive Proofs with Haskell Programs},
  booktitle    = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  pages        = {54--73},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363.4},
  doi          = {10.4204/EPTCS.363.4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-04699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2207-11600,
  editor       = {Peter Achten and
                  Elena Machkasova},
  title        = {Proceedings Tenth and Eleventh International Workshop on Trends in
                  Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
                  Poland (online), 16th February 2021 / 16th March 2022},
  series       = {{EPTCS}},
  volume       = {363},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.363},
  doi          = {10.4204/EPTCS.363},
  timestamp    = {Sat, 15 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-11600.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics