Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/abs-1906-10757,
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.295},
  doi          = {10.4204/EPTCS.295},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-10757.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-11421,
  author       = {Marco T. Moraz{\'{a}}n and
                  Josephine A. Des Rosiers},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {{FSM} Error Messages},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {1--16},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.1},
  doi          = {10.4204/EPTCS.295.1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11421.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-11422,
  author       = {Tsukino Furukawa and
                  Youyou Cong and
                  Kenichi Asai},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Stepping OCaml},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {17--34},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.2},
  doi          = {10.4204/EPTCS.295.2},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11422.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-11423,
  author       = {Marco T. Moraz{\'{a}}n},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Vector Programming Using Generative Recursion},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {35--51},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.3},
  doi          = {10.4204/EPTCS.295.3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11423.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-11425,
  author       = {Per Lindgren and
                  Marcus Lindner and
                  Nils Fitinghoff},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Introducing Certified Compilation in Education by a Functional Language
                  Approach},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {65--78},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.5},
  doi          = {10.4204/EPTCS.295.5},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11425.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-11450,
  author       = {Boldizs{\'{a}}r N{\'{e}}meth and
                  Eunjong Choi and
                  Erina Makihara and
                  Hajimu Iida},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Investigating Compilation Errors of Students Learning Haskell},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {52--64},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.4},
  doi          = {10.4204/EPTCS.295.4},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11450.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1908-01572,
  author       = {Patrik Jansson and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Cezar Ionescu},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Examples and Results from a BSc-level Course on Domain Specific Languages
                  of Mathematics},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {79--90},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.6},
  doi          = {10.4204/EPTCS.295.6},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-01572.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}