| A3ambiguity |
Resolving Ambiguity in Small Lisp Tokenization |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| algexprs.adt |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| Applicative |
Applying Functions to Wrapped Values |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| BitWise |
Bit Manipulation in Haskell |
anybody: publicly visible |
instructor and TAs |
Thu July 25 2024, 11:38 |
| Canonical |
Canonical Forms |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| CNF |
Predicate Calculus: Conjunctive Normal Form |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| deriv.hs |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| deriv.sl |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| Domains |
Symbolic Data Domains: Concrete and Abstract Syntax |
anybody: publicly visible |
instructor and TAs |
Thu Jan. 24 2019, 10:53 |
| EvalMath |
Symbols, Environments and Expression Evaluation |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| FirstSym |
Positions of First Symbols in Haskell |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| fmapRE |
Mapping with REs |
anybody: publicly visible |
instructor and TAs |
Tue Jan. 29 2019, 11:30 |
| FunctionalLists |
List Processing with Polymorphism and Functionals |
anybody: publicly visible |
instructor and TAs |
Thu Jan. 17 2019, 11:13 |
| GetOpt |
Haskell Command Line Processing: System.Console.GetOpt |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| GlushkovRE |
Regular Expression Matching with Glushkov Automata |
anybody: publicly visible |
instructor and TAs |
Tue Jan. 15 2019, 08:39 |
| HaskellArrays |
Arrays in Haskell |
anybody: publicly visible |
instructor and TAs |
Thu Jan. 17 2019, 11:14 |
| HaskellNotes |
Haskell Notes and Resources |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| HaskellRE1 |
Simpleton Regular Expression Matching in Haskell |
anybody: publicly visible |
instructor and TAs |
Tue Jan. 08 2019, 08:02 |
| HaskellRE1a |
Interactive Session with the Simpleton Matcher |
anybody: publicly visible |
instructor and TAs |
Tue Jan. 08 2019, 09:39 |
| hgrep |
Parabix Regular Expression Matching - a Tour |
anybody: publicly visible |
instructor and TAs |
Thu Feb. 14 2019, 11:10 |
| icgrepIntro |
Symbolic Data Processing Case Study: icgrep |
anybody: publicly visible |
instructor and TAs |
Thu Jan. 03 2019, 10:55 |
| Index |
CMPT 384 D1 |
anybody: publicly visible |
instructor and TAs |
Thu July 25 2024, 11:35 |
| InsideOut |
The Inside-Out Simplification Method |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| IO |
Haskell IO |
anybody: publicly visible |
instructor and TAs |
Thu March 14 2019, 11:27 |
| Lisp-in-Lisp |
The Small Lisp Interpreter in Small Lisp! |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| ListsII |
List Processing Continued: Folds, Comprehensions and Beyond |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| LogicControl |
Logic and Control in Prolog |
anybody: publicly visible |
instructor and TAs |
Thu March 28 2019, 11:02 |
| LunchPuzzle |
Lunch Puzzle |
anybody: publicly visible |
instructor and TAs |
Tue April 02 2019, 09:07 |
| Parabix1 |
Parabix Familiarity |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| ParabixProject |
Symbolic Computing and the Parabix Project |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| Parsing1 |
Parsing: From Symbolic Text to ASTs |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| Parsing2 |
Lexical Analysis and Parsing |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| PredCalc |
Predicate Calculus, Resolution Theorem Proving and Prolog |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| prettyprint |
Prettyprinting |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| Prolog |
Programming in Logic: Prolog |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| RE2.hs |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| RegEx1 |
Regular Expressions - Introduction |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| s-lisp |
Lisp-in-Lisp Representation: Small Lisp |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| s-lisp.adt |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| simpleRE.hs |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| simpletonCode |
Simpleton Command Line Tool |
anybody: publicly visible |
instructor and TAs |
Thu Jan. 10 2019, 11:14 |
| slowgrep.hs |
|
anybody: publicly visible |
instructor and TAs |
Tue Jan. 08 2019, 09:27 |
| smlib.sl |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| smlisp-1 |
Small Lisp Introduction |
anybody: publicly visible |
instructor and TAs |
Thu Feb. 07 2019, 11:09 |
| smlisp-domains |
Modelling Programming Languages as Symbolic Data |
anybody: publicly visible |
instructor and TAs |
Thu Feb. 07 2019, 11:11 |
| smlisp.pdf |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| smlisp.sl |
|
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| SmLispInterpreter |
Small Lisp Interpreter in Haskell |
anybody: publicly visible |
instructor and TAs |
Thu March 07 2019, 11:07 |
| SmLispLibrary |
Small Lisp Primitive Function Library in Haskell |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| symbol-env |
Symbols and Environments for Interpreters |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| SymLogic |
Symbolic Logic |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| TypeClass |
Haskell Type Classes |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| UnicodeRE |
Unicode Regular Expressions |
anybody: publicly visible |
instructor and TAs |
Thu July 25 2024, 11:37 |
| Unification |
Unification in Prolog |
anybody: publicly visible |
instructor and TAs |
Thu March 28 2019, 11:29 |
| Wang |
Wang Algorithm |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| WangExample |
Wang Algorithm Example |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| WangProof |
Wang Algorithm Proof Generation |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |
| ZebraPuzzle |
Zebra Puzzle in Prolog |
anybody: publicly visible |
instructor and TAs |
Tue Nov. 27 2018, 15:00 |