Advanced Programming Languages
CIS 670 Fall 2002
Assignments and Grading
Project
Homework
- 10/9 HW 2 due
- 10/23 HW 3 due
(also need this paper)
(download GHC from http://www.haskell.org) - 11/6 HW4 due
- 11/20 HW5 due
- 12/4 HW 6 due
(download Generic Haskell from http://www.generic-haskell.org/)
Grades for this course come from three components: homework, class participation and a semester project. There will be no exams.
Homework policy
You should start each homework assignment yourself. If you get stuck, you can ask anyone for help, but you must acknowledge their help in your work.
Late homework will only be accepted in extraordinary circumstances.
Project
The most important part of the course grade will come from the semester project. You make work on the project or in pairs. Your first task will be to choose a format for the project and a topic. Before September 30, you must come by my office and tell me what you want to do. You must bring with you a short summary of your plans. The project itself is due December 9.
There are several options for the format of the project (see below) and you are strongly encouraged to come up with your own topic for the project. (I will also provide a list of topics.) Browsing through the list of references might be a source of inspiration.
- Theoretical paper
- Create a new language/language feature/algorithm/proof technique to solve a problem, or make a new observation about an existing language/language feature/algorithm/proof technique.
- Survey paper
- Pick a topic and do a literature search. Describe,
in a carefully organized paper, the significant previous research
that has been done on that topic. Be sure to compare the
different strategies to each other and map out the design
space that they inhabit.
Example: Metatheory and Reflection in Theorem Proving: A Survey and Critique
- Pick a topic and do a literature search. Describe,
in a carefully organized paper, the significant previous research
that has been done on that topic. Be sure to compare the
different strategies to each other and map out the design
space that they inhabit.
- Position paper
- Pick a fairly controversial position and argue for or against
it. You must back up any claims you make with solid evidence from
the literature and detailed examples from your own experience.
Examples: Go To Considered Harmful, Why Functional Programming Matters
- Pick a fairly controversial position and argue for or against
it. You must back up any claims you make with solid evidence from
the literature and detailed examples from your own experience.
- Empirical study paper
- Pose a question whose answer depends on practical or statistical
knowledge. Implement an experiment to determine the answer to
this question.
Example: Local Type Inference
- Pose a question whose answer depends on practical or statistical
knowledge. Implement an experiment to determine the answer to
this question.
- Tutorial paper
- Choose an interesting topic and write a tutorial paper about
it. This project option will also involve you teaching the topic
to the class in a 30 minute presentation. Instead of a paper, you
may also develop an online or interactive tutorial.
Example: Typeful Programming
- Choose an interesting topic and write a tutorial paper about
it. This project option will also involve you teaching the topic
to the class in a 30 minute presentation. Instead of a paper, you
may also develop an online or interactive tutorial.