CS 451 - Programming Paradigms - Spring 2001

Instructor:
    Darko Stefanovic
    Office: FEC 345C
    Email: darko@cs.unm.edu
    Phone: +1 505 2776561; Fax: +1 505 2776927
    Office hours: Mon 5:30-6:30; Tue 11-12; Wed 8:15-9 (PM)

Class schedule:
    Lectures:   Mon/Wed 4:00-5:15  in Tapy 218

Class Documents: 
(You may download and print these documents for use
in the UNM CS 451 class, but not otherwise.)

General information files
  • Syllabus, schedule, requirements, etc. (preliminary) (Postscript) (PDF)
  • Errata corrige for Richard Bird: Introduction to Functional Programming using Haskell (Postscript) (PDF)
  • Useful links
  • Web page of a previous version of CS451
  • Standard ML SourceForge Project
  • Standard ML of New Jersey
  • The Standard ML Basis Library
  • SML/NJ Library Manual
  • Programming in Standard ML, by Robert Harper
  • A Gentle Introduction to ML, by Andrew Cumming
  • Notes on Programming SML/NJ, by Riccardo Pucella
  • Norman Ramsey's CS152-Programming Languages at Harvard
  • Haskell Home Page
  • Bird textbook
  • Lecture-related files
  • Prolog code examples:
    Quicksort
    Context-free grammar
    Context-sensitive grammar
    Deterministic finite automaton
  • Homework-related files
  • Homework 0, due Monday 22 January (Postscript) (PDF)
  • Homework 3, due Monday 29 January (Postscript) (PDF)
  • Homework 4, due Monday 5 February (Latex) (Postscript) (PDF)
  • Homework 5, due Monday 19 February (Latex) (Postscript) (PDF)
  • Homework 6, due Wednesday 21 February (Latex) (Postscript) (PDF)
  • Homework 7, due Wednesday 21 February (Latex) (Postscript) (PDF)
  • Homework 8, due Monday 26 February (Latex) (Postscript) (PDF)
  • Homework 9, due Monday 5 March (Latex) (Postscript) (PDF)
  • Homework 10, due Wednesday 7 March (Latex) (Postscript) (PDF)
  • Homework 11, due Wednesday 7 March (Latex) (Postscript) (PDF)
  • Homework 13, due Monday 19 March (Latex) (Postscript) (PDF)
  • Homework 14, due Wednesday 21 March (Latex) (Postscript) (PDF)
  • Homework 15, due Thursday 5 April (Latex) (Postscript) (PDF)
  • Homework 16, due Monday 9 April (Latex) (Postscript) (PDF)
  • Homework 19, due Wednesday 2 May (Latex) (Postscript) (PDF)
  • Homework 20, due Monday 30 April (Latex) (Postscript) (PDF)
  • Homework 21, due Friday 4 May (Latex) (Postscript) (PDF)
  • Exams
  • Will not be posted
  • Project-related files
  • Project 1, due Wednesday 28 March (Latex) (Postscript) (PDF)
    Additional remarks on project 1 (Latex) (Postscript) (PDF)
    A reference lambda-calculus evaluator (Intel(IA32) / Debian Linux executable)
  • Project 2, due Monday 30 April (Latex) (Postscript) (PDF)
    SML code examples:
    Unification
    Unification
    Core Prolog
  • Project 3, due Friday 4 May (Latex) (Postscript) (PDF)
  • Grades
  • Not posted yet