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