ustc-pldpa/2018s

FOPL, Spring 2018

This is the repository to store assignment packages for Foundations of Programmming Languages class at USTC in Spring 2018.

The packages are borrowed from CS242: Programming Languages at Stanford in Fall 2017 with a few modifications.

Course homepage

Environment Setup Guide

You can choose from Docker Setup or Local Setup. Docker Setup is recommended.

• Docker Setup
• Local Setup
  • Lua Setup
  • OCaml Setup

Programming Assignments (PAs)

• PA1: RPC Library - Serialization (Lua, scope)

• PA2: Roguelike (Lua, object systems)

• PA3: Type system (OCaml), corresponding to CS242-assign4

• PA4: Logic Engine (Lua, ML, Datalog), corresponding to CS242-assign5

• PA5: SparkLite (Rust)

Final Project