Coursework references

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
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s