Skip to content

DSLsofMath/tfpie2018

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

86 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

DSLsofMath paper for TFPIE2018

This is the repo for a paper reporting on the results of the new DSLsofMath course in Gothenburg. The draft paper was presented at TFPIE 2018 in June 2018 (see link below) and is under evaluation.

Title: Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics

Authors: Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu

Abstract

At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the ``Domain Specific Languages of Mathematics'' (DSLsofMath) course even before the first course instance. We were then encouraged to come back to present our experience and the student results. Now, three years later, we have seen three groups of learners attend the course, and the first two groups have also continued on to take challenging courses in the subsequent year. In this paper we present three examples from the course material to set the scene, and we present an evaluation of the student results showing improvements in the pass rates and grades in later courses.

Links:

Reference:

@inproceedings{TFPIE18_DSLMResults_JanssonEinarsdottirIonescu,
  author =	 {Patrik Jansson and Sólrún Halla Einarsdóttir and Cezar Ionescu},
  title =	 {Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics},
  booktitle =	 {Proc. 7th Int. Workshop on Trends in Functional Programming in Education},
  publisher =	 {Open Publishing Association},
  longseries =	 {Electronic Proceedings in Theoretical Computer Science},
  series =	 {EPTCS},
  year =	 2018,
  note =	 {In submission. Presented at TFPIE 2018.},
  URL =          "http://www.cse.chalmers.se/~patrikj/papers/Janssonetal_DSLsofMathCourseExamplesResults_preprint_2018-08-17.pdf"
}

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •