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