CMPT 384 D1: All Pages
| Label | Page Title | Can Read | Can Edit | Modified |
|---|---|---|---|---|
| A1 | Assignment1 | anybody | instructor | Tue Jan. 16 2018, 07:45 |
| A1soln-matching | Assignment 1 Solutions - Matching Semantics | anybody | instructor and TAs | Sun Jan. 20 2019, 19:31 |
| A2 | Assignment 2 | anybody | instructor and TAs | Mon Feb. 05 2018, 12:22 |
| A3 | Assignment 3: Small Lisp Interpreter | anybody | instructor and TAs | Mon March 12 2018, 13:25 |
| A3ambiguity | Resolving Ambiguity in Small Lisp Tokenization | anybody | instructor and TAs | Wed March 07 2018, 13:25 |
| A3soln1 | Assignment 3 Solutions: Tokenization and Parsing | anybody | instructor and TAs | Mon March 26 2018, 18:03 |
| A3soln2 | Assignment 3 Solutions: Evaluator | anybody | instructor and TAs | Wed March 28 2018, 14:25 |
| A4 | Assignment 4 | anybody | instructor and TAs | Wed March 21 2018, 13:23 |
| algexprs.adt | anybody | instructor and TAs | Wed March 07 2018, 11:10 | |
| Applicative | Applying Functions to Wrapped Values | anybody | instructor and TAs | Fri March 09 2018, 13:42 |
| CNF | Predicate Calculus: Conjunctive Normal Form | anybody | instructor and TAs | Fri April 06 2018, 12:36 |
| deriv.hs | anybody | instructor and TAs | Fri Feb. 23 2018, 06:45 | |
| deriv.sl | anybody | instructor and TAs | Wed March 07 2018, 11:10 | |
| Domains | Symbolic Data Domains: Concrete and Abstract Syntax | anybody | instructor and TAs | Mon Jan. 22 2018, 14:54 |
| FinalReview | Final Review | anybody | instructor and TAs | Mon April 09 2018, 12:22 |
| FunctionalLists | List Processing with Polymorphism and Functionals | anybody | instructor and TAs | Wed Jan. 17 2018, 11:15 |
| HaskellNotes | Haskell Notes and Resources | anybody | instructor and TAs | Mon Jan. 08 2018, 13:04 |
| HaskellRE1 | Simpleton Regular Expression Matching in Haskell | anybody | instructor and TAs | Mon Jan. 08 2018, 13:20 |
| HaskellRE1a | Simpleton Regular Expression Matching (Continued) | anybody | instructor and TAs | Mon Jan. 08 2018, 13:17 |
| hgrep | Bitwise Regular Expression Matching - a Tour | anybody | instructor and TAs | Fri Feb. 02 2018, 13:29 |
| icgrepIntro | Symbolic Data Processing Case Study: icgrep | anybody | instructor and TAs | Wed Jan. 03 2018, 12:08 |
| Index | CMPT 384 D1 | anybody | instructor and TAs | Mon April 09 2018, 12:42 |
| InsideOut | The Inside-Out Simplification Method | anybody | instructor and TAs | Mon Jan. 29 2018, 14:33 |
| IO | Haskell IO | anybody | instructor and TAs | Wed Feb. 07 2018, 13:02 |
| Lisp-in-Lisp | The Small Lisp Interpreter in Small Lisp! | anybody | instructor and TAs | Mon March 05 2018, 14:31 |
| ListsII | List Processing Continued: Folds, Comprehensions and Beyond | anybody | instructor and TAs | Wed Feb. 21 2018, 12:23 |
| MidReview | Midterm Review | anybody | instructor and TAs | Wed Feb. 21 2018, 12:40 |
| MidSoln | Midterm Solutions | anybody | instructor and TAs | Wed March 07 2018, 14:12 |
| Parsing1 | Parsing: From Symbolic Text to ASTs | anybody | instructor and TAs | Mon Jan. 15 2018, 11:09 |
| Parsing2 | Lexical Analysis and Parsing | anybody | instructor and TAs | Wed March 07 2018, 13:20 |
| PredCalc | Predicate Calculus, Resolution Theorem Proving and Prolog | anybody | instructor and TAs | Fri March 23 2018, 13:27 |
| Prolog | Programming in Logic: Prolog | anybody | instructor and TAs | Fri April 06 2018, 14:32 |
| RE2.hs | anybody | instructor and TAs | Fri Jan. 19 2018, 11:24 | |
| RegEx1 | Regular Expressions - Introduction | anybody | instructor and TAs | Mon Jan. 01 2018, 11:25 |
| s-lisp | Lisp-in-Lisp Representation: Small Lisp | anybody | instructor and TAs | Mon March 05 2018, 13:26 |
| s-lisp.adt | anybody | instructor and TAs | Wed March 07 2018, 11:14 | |
| simpleRE.hs | anybody | instructor and TAs | Wed Jan. 17 2018, 15:18 | |
| simpletonCode | Simpleton Command Line Tool | anybody | instructor and TAs | Fri Jan. 19 2018, 13:05 |
| smlib.sl | anybody | instructor and TAs | Sat March 10 2018, 17:49 | |
| smlisp-deriv | Symbolic Differentiation in Small Lisp | anybody | instructor and TAs | Fri Feb. 09 2018, 13:44 |
| smlisp-domains | Modelling Programming Languages as Symbolic Data | anybody | instructor and TAs | Wed Feb. 28 2018, 13:52 |
| smlisp.pdf | anybody | instructor and TAs | Wed Feb. 07 2018, 13:22 | |
| smlisp.sl | anybody | instructor and TAs | Mon March 12 2018, 14:57 | |
| symbol-env | Symbols and Environments | anybody | instructor and TAs | Mon March 05 2018, 13:04 |
| SymLogic | Symbolic Logic | anybody | instructor and TAs | Mon March 19 2018, 12:55 |
| TypeClass | Haskell Type Classes | anybody | instructor and TAs | Wed Jan. 31 2018, 13:24 |
| Wang | Wang Algorithm | anybody | instructor and TAs | Wed March 21 2018, 12:35 |
| WangExample | Wang Algorithm Example | anybody | instructor and TAs | Fri March 23 2018, 14:39 |