DSLsofMath

DSLsofMath

Domain-Specific Languages of Mathematics

FPClimate

PhD course on Functional Programming and Climate Impact Research

FLABloM

Functional Linear Algebra with Block Matrices

tfpie2015

Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming

BScProj2018

ctfp2014

Lecture summaries for the course "Category Theory for Functional Programming", held in 2015 in Chalmers.

ValiantAgda

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Hatlab

Plotting with Gnuplot in Haskell

BScProj2016

BSc project at Chalmers U. of Tech. 2016

BScProj2022

A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.

dimensionanalysis

Dimension analysis and graded algebras (source code for talk at the 2022-11 Agda meeting).

DepTypeDecTh

Meeting on dependently typed decision theories, PIK 2017-03

dsldi2015

Talk given at DSLDI 2015.

DSLM-peer-review

Instructions for the DSLsofMath course peer review of exercise solutions

OberwolfachMath4SciComp

Some material from the Oberwolfach Seminar: Mathematics for Scientific Computing

tfpie2018

BScProj2024

A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.

ComputingAtSchool