• Exam topics

    Posted by Gabriele Keller Wednesday 14 June 2017, 09:42:24 AM.

    I answered this in the lecture, but since the recordings are not searchable, just to clarify:

    * Church encodings will not be part of the exam. You should be able to read & write lambda expressions (for example, as part of a Haskell program), though.

    * Phantom types, rank-n types, existential types may be part of the exam to the degree we covered them in the lecture and exercises. That is, you should know what they are, why they are used, and understand code which uses them.

  • Revision lecture whiteboard notes

    Posted by Gabriele Keller Sunday 11 June 2017, 03:46:26 PM.

    page 1 and page 2

  • Revision today

    Posted by Gabriele Keller Friday 09 June 2017, 01:01:02 PM.

    will put a summary up shortly. Should also be back in my office about 3pm, if someone wants to drop by.

Upcoming Due Dates

There is nothing due!

Back to top

COMP3141 17s1 (Software System Design and Implementation) is powered by WebCMS3
CRICOS Provider No. 00098G