MaximilianAlgehed / DSLsofMath

Domain Specific Languages of Mathematics

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DSLsofMath

Domain Specific Languages of Mathematics

DSLsofMath wiki page at Chalmers

A quality project funded by Chalmers with 260kkr/y for 2014 and 2015 resulting in a new BSc level course from 2016.

2016 edition of the course.

Course schedule

Source: TimeEdit

  • Mo 10-12: lecture in ED
  • We 13-15: exercise class in E-studion
  • Th 10-12: exercise class in E-studion
  • Fr 13-15: lecture in EB

More about the project

A paper has been accepted for the proceedings of TFPIE.

The project was also presented at DSLDI 2015 and at the IFIP WG 2.1 meeting #73.

  • 2015-10-09: Meeting Eva Fülöp about how to collect material for a pedagogical paper.
  • 2015-10-08: A BScProj proposal is available (in Swedish)
  • 2015-09-01: Adam starts working in the project as "amanuens" (student research assistant, 20%).

Curriculum placement

About

Domain Specific Languages of Mathematics

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:TeX 59.9%Language:Haskell 37.6%Language:HTML 2.0%Language:Makefile 0.5%