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