Thanks to the very many students who sent in lists of online references for each of the five coursework topics. I have selected some of those I think most useful, and list them below. These links work today, Tuesday 11 October. If you find one broken while the assignment is still running, please email me and I’ll attempt to fix it.

If you want to refer to one of these in your written assignment, then you will need to identify where it comes from and give a proper bibliographic citation, as discussed during lectures.

Functional Reactive Programming in elm

Link 1; Link 2; Link 3; Link 4

Information flow policies in Jeeves

Link 1; Link 2; Link 3; Link 4

Programming quantum computation with Quipper

Link 1 (broken? try this); Link 2; Link 3; Link 4

F# query expressions for language-integrated database access

Link 1; Link 2; Link 3; Link 4

Dafny: Statically verifying functional correctness

Link 1; Link 2; Link 3; Link 4