| A1 |
Assignment1 |
anybody: publicly visible |
instructor |
Sept. 14, 2018, 10:58 a.m. |
| A1soln-matching |
Assignment 1 Solutions - Matching Semantics |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| A3ambiguity |
Resolving Ambiguity in Small Lisp Tokenization |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| A4soln |
A4Soln |
anybody: publicly visible |
instructor and TAs |
Dec. 6, 2018, 3:05 p.m. |
| algexprs.adt |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| Applicative |
Applying Functions to Wrapped Values |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| Canonical |
Canonical Forms |
anybody: publicly visible |
instructor and TAs |
Oct. 9, 2018, 1:30 p.m. |
| CNF |
Predicate Calculus: Conjunctive Normal Form |
anybody: publicly visible |
instructor and TAs |
Nov. 22, 2018, 1:58 p.m. |
| deriv.hs |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| deriv.sl |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| Domains |
Symbolic Data Domains: Concrete and Abstract Syntax |
anybody: publicly visible |
instructor and TAs |
Oct. 9, 2018, 11:16 a.m. |
| EvalMath |
Symbols, Environments and Expression Evaluation |
anybody: publicly visible |
instructor and TAs |
Oct. 4, 2018, 12:21 p.m. |
| FirstSym |
Positions of First Symbols in Haskell |
anybody: publicly visible |
instructor and TAs |
Sept. 19, 2018, 12:37 p.m. |
| fmapRE |
Mapping with REs |
anybody: publicly visible |
instructor and TAs |
Oct. 4, 2018, 12:02 p.m. |
| FunctionalLists |
List Processing with Polymorphism and Functionals |
anybody: publicly visible |
instructor and TAs |
Sept. 20, 2018, 3:05 p.m. |
| GetOpt |
Haskell Command Line Processing: System.Console.GetOpt |
anybody: publicly visible |
instructor and TAs |
Oct. 4, 2018, 12:12 p.m. |
| GlushkovRE |
Regular Expression Matching with Glushkov Automata |
anybody: publicly visible |
instructor and TAs |
Nov. 29, 2018, 11:59 a.m. |
| HaskellArrays |
Arrays in Haskell |
anybody: publicly visible |
instructor and TAs |
Sept. 20, 2018, 12:08 p.m. |
| HaskellNotes |
Haskell Notes and Resources |
anybody: publicly visible |
instructor and TAs |
Sept. 4, 2018, 11:07 a.m. |
| HaskellRE1 |
Simpleton Regular Expression Matching in Haskell |
anybody: publicly visible |
instructor and TAs |
Sept. 6, 2018, 3:18 p.m. |
| HaskellRE1a |
Interactive Session with the Simpleton Matcher |
anybody: publicly visible |
instructor and TAs |
Sept. 6, 2018, 11:14 a.m. |
| hgrep |
Bitwise Regular Expression Matching - a Tour |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| icgrepIntro |
Symbolic Data Processing Case Study: icgrep |
anybody: publicly visible |
instructor and TAs |
Oct. 11, 2018, 8:57 a.m. |
| Index |
CMPT 384 D1 |
anybody: publicly visible |
instructor and TAs |
Dec. 6, 2018, 3:07 p.m. |
| InsideOut |
The Inside-Out Simplification Method |
anybody: publicly visible |
instructor and TAs |
Sept. 25, 2018, 12:52 p.m. |
| IO |
Haskell IO |
anybody: publicly visible |
instructor and TAs |
Oct. 4, 2018, 6:34 a.m. |
| Lisp-in-Lisp |
The Small Lisp Interpreter in Small Lisp! |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| ListsII |
List Processing Continued: Folds, Comprehensions and Beyond |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| LogicControl |
Logic and Control in Prolog |
anybody: publicly visible |
instructor and TAs |
Nov. 15, 2018, 1:33 p.m. |
| Parabix1 |
Parabix Familiarity |
anybody: publicly visible |
instructor and TAs |
Oct. 8, 2018, 9:17 p.m. |
| ParabixProject |
Symbolic Computing and the Parabix Project |
anybody: publicly visible |
instructor and TAs |
Oct. 11, 2018, 11:58 a.m. |
| Parsing1 |
Parsing: From Symbolic Text to ASTs |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| Parsing2 |
Lexical Analysis and Parsing |
anybody: publicly visible |
instructor and TAs |
Oct. 31, 2018, 11:15 a.m. |
| PredCalc |
Predicate Calculus, Resolution Theorem Proving and Prolog |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| prettyprint |
Prettyprinting |
anybody: publicly visible |
instructor and TAs |
Nov. 1, 2018, 12:23 p.m. |
| Prolog |
Programming in Logic: Prolog |
anybody: publicly visible |
instructor and TAs |
Nov. 8, 2018, 12:02 p.m. |
| RE2.hs |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| RegEx1 |
Regular Expressions - Introduction |
anybody: publicly visible |
instructor and TAs |
Sept. 6, 2018, 11:57 a.m. |
| s-lisp |
Lisp-in-Lisp Representation: Small Lisp |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| s-lisp.adt |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| simpleRE.hs |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| simpletonCode |
Simpleton Command Line Tool |
anybody: publicly visible |
instructor and TAs |
Sept. 20, 2018, 3:15 p.m. |
| slowgrep.hs |
|
anybody: publicly visible |
instructor and TAs |
Sept. 13, 2018, 10:09 a.m. |
| smlib.sl |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| smlisp-deriv |
Symbolic Computing with Small Lisp |
anybody: publicly visible |
instructor and TAs |
Oct. 11, 2018, 12:13 p.m. |
| smlisp-domains |
Modelling Programming Languages as Symbolic Data |
anybody: publicly visible |
instructor and TAs |
Oct. 11, 2018, 12:15 p.m. |
| smlisp-intro |
Small Lisp Introduction |
anybody: publicly visible |
instructor and TAs |
Feb. 7, 2019, 11:06 a.m. |
| smlisp.pdf |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| smlisp.sl |
|
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| SmLispInterpreter |
Small Lisp Interpreter in Haskell |
anybody: publicly visible |
instructor and TAs |
Nov. 1, 2018, 2:22 p.m. |
| SmLispLibrary |
Small Lisp Primitive Function Library in Haskell |
anybody: publicly visible |
instructor and TAs |
Oct. 25, 2018, 12:02 p.m. |
| symbol-env |
Symbols and Environments for Interpreters |
anybody: publicly visible |
instructor and TAs |
Oct. 25, 2018, 10:19 a.m. |
| SymLogic |
Symbolic Logic |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| TypeClass |
Haskell Type Classes |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| Wang |
Wang Algorithm |
anybody: publicly visible |
instructor and TAs |
Nov. 6, 2018, 1:18 p.m. |
| WangExample |
Wang Algorithm Example |
anybody: publicly visible |
instructor and TAs |
Sept. 1, 2018, 6:24 p.m. |
| WangProof |
Wang Algorithm Proof Generation |
anybody: publicly visible |
instructor and TAs |
Nov. 8, 2018, 12:25 p.m. |
| ZebraPuzzle |
Zebra Puzzle in Prolog |
anybody: publicly visible |
instructor and TAs |
Nov. 20, 2018, 1:25 p.m. |