• Quiz Python, HOF, Regex
  • Fall 2023 (Solution)


• Quiz Ruby
  • Spring 2022 (Solution)
  • Fall 2022 (Solution)
  • Spring 2023 (Solution)


• Quiz OCaml
  • Spring 2018 (Solution)
  • Fall 2018 (Solution)
  • Spring 2019 (Solution)
  • Fall 2019 (Solution)
  • Fall 2020 (Solution)
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • Summer 2022 (Solution)
  • Fall 2022 (Solution)


• Quiz NFA, DFA
  • Old Fall 2017 and Spring 2018 quizzes contain OpSem and CFG
  • Fall 2017 Quiz 2 (Solution)
  • Fall 2017 Quiz 3 (Solution)
  • Spring 2018 Quiz 3 (Solution)
  • Spring 2018 Quiz 2 (Solution)
  • Fall 2020 (Solution)
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • Summer 2022 (Solution)
  • Fall 2022 (Solution)
  • Fall 2023 (Solution)


• Quiz OpSem, Parsing, CFG
  • Fall 2020
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • Summer 2022 (Solution)
  • Fall 2022 (includes Lambda Calc) (Solution)
  • Fall 2023 (Solution)


• Quiz Lambda Calculus
  • Spring 2018 (Solution)
  • Fall 2020
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
• Quiz Rust
  • Fall 2022 (Solution)
  • Fall 2023 (Solution)


• Exam 1
  • Spring 2018 (Solution)
  • Fall 2018 (Solution)
  • Spring 2019 (Solution)
  • Fall 2019 (Solution)
  • Spring 2020 (Solution)
  • Fall 2020 (Solution)
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • Summer 2022 (Solution)
  • Fall 2022 (Solution)
  • Summer 2023 (Solution)
  • Spring 2023 (Solution)
  • Fall 2023 (Solution)


• Exam 2
  • Spring 2018 (Solution)
  • Fall 2018 (Solution)
  • Spring 2019 (Solution)
  • Fall 2019 (Solution)
  • Fall 2020
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • fall2022 (Solution)
  • Spring 2023 (Solution)
  • Fall 2023 (Solution)


• Final Exam
  • Spring 2018 (Solution)
  • Fall 2018 (Solution)
  • Spring 2019
  • Fall 2019 (Solution)
  • Fall 2020 (Solution)
  • Spring 2021 (Solution)
  • Fall 2021 (Solution)
  • Spring 2022 (Solution)
  • Summer 2022
  • Fall 2022
  • Summer 2023 (Solution)
  • Spring 2023 (Solution)
  • Fall 2023 (Solution)

Practice Problems

• OCaml Type to Expression problem generator
• OCaml Expression to Type problem generator
• Lambda Calc Beta Reduction problem generator

Quick Reference

• Python (3.x) Docs
  • Intro
  • Control Flow
  • Data Structures
• OCaml (4.12.x)
  • Basic libraries
  • Stdlib
  • List
  • String
  • Str
• Rust Docs
  • Book
  • Intro
  • Ownership
  • Structs
  • Lifetimes

OCaml

• Main OCaml site
• Tutorials: at OCaml site and interactive tutorial in the style of Code Academy
• Real World OCaml - Excellent (free, on-line) book about how to use OCaml for industrial strength programming.
• Developing Applications with Objective Caml - Entire book in html & PDF
• Camelia tool for OCaml
• Tuareg mode for Emacs
• CamlQuiz - Interactive OCaml Tutorial
• How to debug OCaml

Rust

• Main Rust page https://www.rust-lang.org
• Rust installationhttps://www.rust-lang.org/en-US/install.html
• Free Rust Book https://doc.rust-lang.org/book/

Formal grammars and finite automata

• Regular Expression Tutorial
• Pythex: Regular Expression Tester for Python
• JFLAP a package of graphical tools which can be used as an aid in learning the basic concepts of Formal Languages and Automata Theory
• On-linetool for playing with CFGs
• Book: Introduction to the Theory of Computation by Michael Sipser
  This book has lots of good explanation. See Sipser's course for more material.
• Wikipedia actually has good pages on some of these things (and the references they cite are generally useful too):
  • regularexpressions
  • dfas
  • nfas
  • context-freegrammars
  • Formal Languages

Lambda calculus

• Overview of lambda calculus at Wikipedia

Git

• Learn Git

Other relevant texts

Previous required texts for CMSC 330 have chapters on relevant topics covered in this course. If the lecture notes are insufficient, look for these books. They should be available in the university library.

• Concepts of Programming Languages (Seventh Edition) by R. Sebesta, Addison Wesley (2006) (ISBN 0-321-33025-0).
• Programming Languages: Design and Implementation (Fourth Edition) by T. Pratt and M. Zelkowitz, Prentice Hall (2001) (ISBN 0-13-027678-2).
• O'ReillyHistory of Programming Languages Poster