Assignments

CSCI 1730 · Fall 2026

Assignments🔗

All work will be due by 11:59pm US/Eastern of the indicated day.

Threads

SMoL
This thread will help you learn the Standard Model of Languages (SMoL). It begins with a simple version of the model and becomes progressively richer. You will work with an automated tutor that we have built for you. This blog post may help you understand what the assignment is trying to accomplish.
Stacker
This thread makes you understand the details of program evaluation using the Stacker, another tool we have built—this one to help you understand how SMoL programs evaluate.
Mystery Languages
This (the “ML”) thread (explained in this paper) has you understand the design space of specific language features. In each ML assignment, you are given a new language feature’s syntax and a very loose description of it. The assignment will contain (say) three different language variants that implement that new feature but in subtly different ways. You will use the implementations to explore how the variation and try to pin down what’s different. You ultimately produce a classifier: a small set of programs that, collectively, tell the different implementations apart by producing different results under each implementation.
Implementation
This thread has you implement the core of SMoL languages and tools to process them, all implemented using the Standard Implementation Plan (SImPl). You will explore both different versions of languages and different tools that process a language. Each assignment pins down the exact language you will handle.
Analysis
In this thread, you will go beyond textbooks and classes to read about, and wrestle with, various aspects of programming languages “in the wild”. These will help you situate the course’s materials in the broader world of programming languages. In general, assignments will help you either reflect further on things you’ve seen, prepare you or things you will see, or bring up issues that are important but beyond the scope of what we have time for in class.

Schedule

Out	Due	SMoL	Stacker	ML	Implementation	Analysis
Wed, Sep 9	Thu, Sep 10			Arithmetic
Wed, Sep 9	Sun, Sep 13	SMoL Tutor
Fri, Sep 11	Sat, Sep 12			Conditionals
Sun, Sep 13	Mon, Sep 14			Function Calls
Mon, Sep 14	Wed, Sep 16		Stacks 1
Thu, Sep 17	Sat, Sep 19		Stacks 2
Fri, Sep 18	Sat, Sep 19			MutVar
Sun, Sep 20	Mon, Sep 21			MutStr
Mon, Sep 21	Wed, Sep 23					Loops
Tue, Sep 22	Fri, Sep 25				Interpreter
Sat, Sep 26	Mon, Sep 28				Desugaring
Wed, Sep 30	Thu, Oct 1			Fields
Fri, Oct 2	Mon, Oct 5				Type Checker
Tue, Oct 6	Fri, Oct 9				Calc Vars
Tue, Oct 13	Fri, Oct 16				Calc Fields
Sat, Oct 17	Sun, Oct 18					Renaming
Mon, Oct 19	Fri, Oct 23				Refinements
Sat, Oct 24	Mon, Oct 26					IFC design
Tue, Oct 27	Wed, Oct 28					IFC PR
Sat, Oct 31	Mon, Nov 2					IFC revise
Tue, Nov 3	Fri, Nov 6					Human Factors of PL
Sat, Nov 7	Sun, Nov 8					DSL Proposal
Mon, Nov 9	Thu, Nov 12				OCaps
Fri, Nov 13	Sun, Nov 15					POLA
Mon, Nov 16	Sun, Nov 22				DSL: Pricing Rules
Wed, Dec 2	Sun, Dec 6				Final DSL

contents ← prev up next →

	Syllabus and Course Policies
	Assignments
	Code
	Professionalism
	Exams
	Peer Review
	Staff
	Credits