Lecture 4: Coursework Assignment Topics

This year’s coursework assignment for APL is to select a programming language feature from a short list, research what it does, try out using it, and write a 10-page report about this. In today’s lecture I presented each of the five possible topics and outlined the assignment structure. We also looked at some examples of bibliographic references.

The topic list is:

  • Functional reactive programming in elm
  • Jif: Language-based information-flow security in Java
  • Parallel programming in Haskell with strategies
  • Asynchronous workflows in F#
  • Dafny: Verifying functional correctness

Submission dates for each stage are in the lecture slides and under “Coursework” on the course web site.

Links: Slides for Lecture 4; Sheet with citation examples

Homework

Before the next lecture, on Tuesday, find online tutorials for each of the assignment topics.

Use them to help choose which topic you will study.

References

No no, not this time. You have to go out and find them yourself.

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