Examples from the class CMSC 330 during Summer 2015
Switch branches/tags
Nothing to show
Clone or download
Permalink
Failed to load latest commit information.
lambda-calculus changes to untyped caml Jul 23, 2015
module-systems adding module system stuff Jul 20, 2015
ocaml
prolog Update README.md Jul 18, 2015
README.md Update README.md Jul 21, 2015
file.mat
matrices-06-03.rb updating version from June 3rd Jun 4, 2015
matrices-06-04.rb adding material for 06/04 Jun 4, 2015

README.md

Examples from CMSC 330, Summer 2015

CMSC 330 is a junior level class on learning, understanding, and building programming languages. This repository provides much of the lecture material from the class, along with helpful examples and boilerplate code to get students started. There are also interspersed practice questions, which may show up on exams or projects throughout the course.

  • ocaml -- A tutorial style introduction to the OCaml programming language, giving callouts to various concepts useful for functional programming in general (e.g., map and fold).
  • lambda-calculus -- Lectures on the lambda calculus and programming language semantics, including implementations of a core ML subset in big step and small step style.
  • prolog -- Handout material for the Prolog programming langauge
  • module-systems -- A short tutorial on the OCaml module system