|
|
CSCI 5535
Information
Instructor
Schedule
Assignments
Supporting Material
|
|
Homework Assignments
General policies
apply to all of the homework assignments.
You are responsible for understanding those policies,
and submitting your work in accordance with them.
You are also responsible for regularly checking the
grade summary
to ensure that your scores are correctly recorded.
Properties of Types:
- The type model of a language
- Primitive types
- Type checking
To be begun during week
2.
Parameterized Polymorphism:
- A non-homogeneous stack
- Describing accesses
- Costs
To be begun during week
3.
Subtyping in Modula-3:
- Determining language capabilities
- Interpreting language definitions
To be begun during week
4.
Tree Computations:
- Separating structure and operations
- Visitors
To be begun during week
5.
Lambda Calculus:
- Syntax
- Rules of inference
To be begun during week
6.
Subtyping Rules:
- Exploring the meaning of a definition
- Using the rules
To be begun during week
7.
Denotational Semantics:
To be begun during week
8.
Language Definition:
- Defining pre-expressions
- Defining type constructors
- Defining type checking rules
To be begun during week
9.
Implementation Issues:
- Basic techniques
- Dynamic dispatch
- Invocation cost
To be begun during week
10.
Translation of Mystery:
To be begun during week
11.
Interpretation of Mystery:
- Lambda expression creation
- Lambda expression evaluation
- Probing a definition
To be begun during week
12.
Self Type in Cool:
- Language properties
- Analyze a formal specification
- Compare formal specifications
To be begun during week
14.
|