COMPUTER SCIENCE AT KENT 

 
Home
+ Research
- Groups
- Postgraduate
- Events
- Services
- Visitors
- Vacancies
+ Teaching
- U/G Prospectuses
- Computing Lab Booklet
- CS Prospectuses
- Study Prog 1999/2000
+ People
- Staff
- Research P/Gs
+ Vacancies
- Chairs
- Lecture/Teaching
- Teaching/Support
- Research
+ Publications
- By Research
- By Year
- Complete Archive
+ National & International Services
- UK facilities
- WW facilities
- Search
 

CO311 (99/00) Functional Programming and Logic
Welcome to the CO311 Functional Programming and Logic course. You'll need to keep a link to this page, and to check it regularly. I'll be adding programs, assessments and other materials in due course.

This term's course has two components:

  • Further work on functional programming in Haskell. We'll start with some revision and then go on to cover
    • algebraic types
    • type classes
    • program constuction; problem solving
    • higher order functions
    finishing with an extended example that brings together ideas from both parts of the course.
    The lecturer for this part of the course is Richard Jones.
  • Foundations of Computer Science
    The lecturer for this part of the course is Phil Watson.

Solutions to the exam-style coursework are available: Solutions (Word format), Solutions (Plain text).


LECTURERS


COURSE MATERIAL
MODULE DESCRIPTION

CLASSES

ASSESSMENTS

EXAMINATIONS
    Weight within programme: 1 unit(s)
    Coursework weighting: 20%
    Project weighting: 0%
    Exam weighting: 80%


We hope that these pages are useful to visitors both from within the university and from without. We continuously strive to improve their structure and content. If you have any suggestions for improvement, please let us know.
CS Webmasters