CSE 6000: Advanced Topics--Functional Programming (Fall 1998)

General info

Instructor

Ryan Stansifer <ryan@cs.fit.edu>

Office hours

Check my WWW page for upto date information, you are welcome to send me e-mail

Lectures

Lectures are from 18:30 pm to 21:15 Tuesdays in A 103.

Class URL

http://www.cs.fit.edu/~ryan/cse6000/

Textbook

Chris Reade, Elements of Functional Programming, Addison-Wesley, New York, 1989.

Research Papers

Members of the class will be responsible for finding, skimming, and reading several research papers. In the first month everyone must find 5 to 10 "interesting" papers. Then everyone must skim two of the papers of their choosing and report to the class:

In the last month everyone must present an important paper to the class. Any paper from the following conferences are acceptable:

Any paper from the following Journals are accepted:

Other papers are acceptable, check with me before hand. A general search engine for the CS literature is available on the WWW. We will build a class bibliography; send me the papers in BibTeX format.

@Book{reade89:_elemen_funct_progr,
  author =       "Chris Reade",
  title =        "Elements of Functional Programming",
  publisher =    "Addison-Wesley",
  year =         1989,
  series =       "International Computer Science Series",
  address =      "Wokingham, England",
  note =         "Our textbook.  Location: rds (books).  Submitted by Ryan Stansifer."
}

Research Directions

One step might be to build an annotated bibliography on some subject.

Calendar

weekclass periodhomework
1 SepIntro to FPfind 5-10 papers
8 SepSMLChapter 1 problems, find papers
15 SepWork problems in class, SMLChapter 2, 3 problems, find papers
22 SepWork problems in class, SMLfind papers
29 SepClass bibliography, SMLChapter 5 problems, skim 2 papers
6 OctWork problems in class, SMLskim 2 papers
13 OctSMLChapter 7 problems, skim 2 papers
20 OctWork problems in class, SMLChapter 8 problems, skim 2 papers
27 OctWork problems in class, SMLChapter 9 problems, skim 2 papers
3 NovClass bibliographyread paper
10 NovPost Systemsread paper
17 NovType inferenceChapter 11 problems, read paper
24 NovLambda calculus and combinatorsread paper
1 DecImplementation techniquesgive paper
8 Decgive paper

SML

More about SML can be found at the SML WWW home page.

To run SML on maelstrom.cs

/software/sml/bin/sml
/software/ma-bin/sml  [a link to the previous]

New! A Windows 95 and Window NT version is available. See SML WWW site for details. Download it and try it out.


Tips on Standard ML. A guide to value polymorphism in SML.

ICFP Functional Programming Contest

Convinced your favorite functional programming language provides unbeatable productivity? Perhaps it's just the case that functional programming languages attract better programmers than other languages ... and you and your friends are the best of the best. If

so, we've provided you the opportunity to prove it! The ICFP steering committee has designed a programming contest to be conducted in conjunction with ICFP'98. All programmers are invited to enter the contest; we especially encourage students to enter teams.

We've designed the programming contest for direct, head-to-head comparison of language technology and programming skill. We have a range of prizes for the winners: cash awards, free conference registrations to ICFP'98 in Baltimore, famous texts on functional languages donated and autographed by the authors, and, of course, unlimited bragging rights.

We request interested applicants to register before the contest starts on Thursday, August 27, 1998.

For more details, please see the ICFP Functional Programming Contest page:

  http://www.ai.mit.edu/extra/icfp-contest/
Details on the ICFP'98 conference and workshops can be found here:
  http://www.cs.rice.edu/~matthias/ICFP98/

Ryan Stansifer <ryan@cs.fit.edu>
Last modified: Wed Nov 4 10:39:30 EST 1998