├── .gitignore ├── CheatSheets ├── Haskell.CheatSheet.pdf ├── Haskell.Haskell_Cheat_Sheet.pdf ├── git-cheat-sheet(2).pdf ├── git-cheat-sheet-v2 2.pdf └── git-cheat-sheet.pdf ├── General ├── A Tail-Recursive Machine with Stack Inspection (Clements, Felleisen).pdf ├── A survey of graphical languages for monoidal categories (Selinger).pdf ├── Advanced Macrology and the Implementation of Typed Scheme (Culpepper, Tobin-Hochstadt, Flatt).pdf ├── Beej's Guide to Network Programming - Using Internet Sockets (Hall).pdf ├── Can Programming Be Liberated from the von Neumann Stype (Backus).pdf ├── Can a Biologist Fix a Radio - or, What I Learned while Studying Apoptosis (Lazebnik).pdf ├── Can a Systems Biologist Fix a Tamagotchi (Cardelli).pdf ├── Categorical Programming with Abstract Data Types (Erwig).pdf ├── Categories for the practising physicist (Coecke, Paquette).pdf ├── Continuations in Natural Language (Barker).pdf ├── FAQ on Pi-Calculus (Wing).pdf ├── Fortress Programming Language Tutorial (Steele, Maessen).pdf ├── GNU Emacs Manual (Stallman).pdf ├── Growing a Language (Steele).pdf ├── Literate Programming (Knuth).pdf ├── Logical Types for Untyped Languages (Tobin-Hochstadt, Felleisen).pdf ├── MapReduce - Simplified Data Processing on Large Clusters (Dean, Ghemawat).pdf ├── Network applications of Bloom filters (Broder, Mitzenmacher).pdf ├── On Understanding Data Abstraction, Revisited (Cook).pdf ├── OnLisp │ ├── Fig.05.07_Page.071.pdf │ ├── Fig.07.02_Page.089.pdf │ ├── Fig.07.03_Page.090.pdf │ ├── Fig.20.02_Page.263.pdf │ ├── Fig.22.11_Page.302.pdf │ ├── Fig.23.02_Page.307.pdf │ ├── Fig.23.06_Page.315.pdf │ ├── Fig.24.01_Page.322.pdf │ ├── Fig.25.02_Page.352.pdf │ └── On Lisp (Graham).pdf ├── Overhang (Paterson, Zwick).pdf ├── Physics, Topology, Logic and Computation, A Rosetta Stone (Baez, Stay).pdf ├── Programming Paradigms for Dummies - What Every Programmer Should Know (van Roy).pdf ├── Project Fortress Quick Vocabulary Guide.pdf ├── Project Fortress Reference Card.pdf ├── Sound and Complete Type Inference for a Systems Programming Language (Sridhar, Shapiro, Smith).pdf ├── Teaching Programming with the Kernel Language Approach (van Roy, Haridi).pdf ├── The Design and Implementation of Typed Scheme (Tobin-Hochstadt, Felleisen).pdf ├── The Influence of Browsers on Evaluators or, Continuations to Program Web Servers (Queinnec).pdf ├── The Origins of the BitC Programming Language (Shapiro, Sridhar, Doerrie).pdf ├── The camel has two humps (Dehnadi, Bornat).pdf ├── Towards a Verified, General-Purpose Operating System Kernel (Shapiro, Doerrie, Northup, Sridhar, Miller).pdf ├── Trampolined Style (Ganz, Friedman, Wand).ps ├── Using a Proof Assistant to Teach Programming Language Foundations (Pierce).pdf └── Why Pascal is Not My Favorite Programming Language (Kernighan).pdf ├── Haskell ├── A Declarative Debugger for Haskell (Pope).pdf ├── A Generic Recursion Toolbox for Haskell - Scrap Your Boilerplate Systematically (Ren, Erwig).pdf ├── A History of Haskell (Hudak, Hughes, Peyton Jones, Wadler).pdf ├── A Principled Approach to Operating System Construction in Haskell (Hallgren, Jones, Leslie, Tolmach).pdf ├── A Program Transformation for Debugging Haskell 98 (Pope, Naish).pdf ├── A Short Cut to Deforestation (Gill, Launchbury, Peyton Jones).pdf ├── A Static Semantics for Haskell (Faxen).ps ├── A Static Semantics for Haskell (Peyton Jones, Wadler).ps ├── A Supercompiler for Core Haskell (Mitchell - Runciman).pdf ├── A prettier printer (Wadler).pdf ├── A program to solve Sudoku (Bird).pdf ├── A space semantics for core Haskell (Bakewell - Runciman).pdf ├── A tutorial on the universality and expressiveness of fold (Hutton).pdf ├── An Alternative Approach to Initializing Mutually Referential Objects (Syme).pdf ├── An Evaluation of LOLITA and Related Natural Language Processing Systems (Callaghan).pdf ├── Applicative programming with effects (McBride & Paterson).pdf ├── Arrows and Computation (Paterson).pdf ├── Arrows, Robots, and Functional Reactive Programming (Hudak, Courtney, Nilsson, Peterson).pdf ├── Backtracking, Interleaving, and Terminating Monad Transformers (Kiselyov, Shan, Friedman, Sabry).pdf ├── Beautiful Concurrency (Peyton Jones).pdf ├── Beautiful Differentiation (Elliott).pdf ├── Best of 2009 │ ├── Algebra of Programming in Agda (Mu, Ko, Jansson).pdf │ ├── Commercial Uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf │ ├── Denotational Semantics - A Methodology for Language Development (Schmidt) │ │ ├── README.txt │ │ ├── bib.pdf │ │ ├── ch0.pdf │ │ ├── ch1.pdf │ │ ├── ch10.pdf │ │ ├── ch11.pdf │ │ ├── ch12.pdf │ │ ├── ch2.pdf │ │ ├── ch3.pdf │ │ ├── ch4.pdf │ │ ├── ch5.pdf │ │ ├── ch6.pdf │ │ ├── ch7.pdf │ │ ├── ch8.pdf │ │ ├── ch9.pdf │ │ ├── contents.pdf │ │ ├── frontmatter.pdf │ │ └── preface.pdf │ ├── Experience Report - Haskell in the 'Real World' (Sampson).pdf │ ├── Finally Tagless, Partially Evaluated (Carette, Kiselyov, Shan).pdf │ ├── Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v1).pdf │ ├── Readme.txt │ ├── Safe Functional Reactive Programming through Dependent Types (Sculthorpe, Nilsson).pdf │ └── The Arrow Calculus (Lindley, Wadler, Yallop).pdf ├── Building Domain-Specific Embedded Languages (Hudak).pdf ├── Building Interpreters by Composing Monads (Steele).ps ├── C--, a portable assembly language that supports garbage collection (Peyton Jones, Ramsey, Reig).pdf ├── Certified Programming with Dependent Types (Chlipala).pdf ├── Combinator Parsing - A Short Tutorial (Swierstra).pdf ├── Comparing Approaches to Generic Programming in Haskell (Hinze, Jeuring, Loeh).pdf ├── Composing Haggis (Finne, Peyton Jones).pdf ├── Comprehending Monads (Wadler).pdf ├── Computational Lambda-Calculus and Monads (Moggi).pdf ├── Concurrent Haskell (Peyton Jones, Gordon, Finne).pdf ├── Denotational design with type class morphisms (Elliott).pdf ├── Derivable Type Classes (Hinze, Peyton Jones).pdf ├── Description of the LOLITA system as Used in MUC-7 (Garigliano, Urbanowicz, Nettleton).pdf ├── Design Patterns as Higher-Order Datatype-Generic Programs (Gibbons).pdf ├── Deterministic, Error-Correcting Combinator Parsers (Swierstra, Duponcheel).pdf ├── Domain Specific Embedded Compilers (Leijen, Meijer).pdf ├── Efficient Combinator Parsers (Koopman, Plasmeijer).pdf ├── Fast, Error Correcting Parser Combinators - A Short Tutorial (Swierstra, Alcocer).pdf ├── Finger trees - a simple general-purpose data structure (Hinze, Paterson).pdf ├── Flattening Combinators - Surviving Without Parentheses (Okasaki).ps ├── Free Theorems in the Presence of seq (Johann, Voigtlaender).pdf ├── Fudgets - A Graphical User Interface in a Lazy Functional Language (Carlsson, Hallgren).pdf ├── Fun with Functional Dependencies (Hallgren).pdf ├── Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v3).pdf ├── Functional Pearls │ ├── A Poor Man's Concurrency Monad (Claessen).ps │ ├── A type-correct, stack-safe, provably correct expression compiler in Epigram (McKinna, Wright).pdf │ ├── Alpha-conversion is easy (Altenkirch).pdf │ ├── Combinators for Breadth-First Search (Spivey).ps │ ├── Composing Contracts - An Adventure in Financial Engineering (Peyton Jones, Eber, Seward).pdf │ ├── Composing Fractals (Jones).pdf │ ├── Deriving Backtracking Monad Transformers (Hinze).pdf │ ├── Do We Need Dependent Types (Fridlender, Indrika).ps │ ├── Enumerating the Rationals (Gibbons, Lester, Bird).pdf │ ├── Enumerating the strings of regular languages (McIlroy).ps │ ├── Haskell does it with class - Functorial unparsing (Hinze).pdf │ ├── Implicit Configurations (Kiselyov, Shan).pdf │ ├── Linear, bounded, functional pretty-printing (Swierstra, Chitil).pdf │ ├── Monadic Parsing in Haskell (Hutton, Meijer).pdf │ ├── Monads for Incremental Computing (Carlsson).pdf │ ├── Packrat Parsing - Simple, Powerful, Lazy, Linear Time (Ford).pdf │ ├── Parallel Parsing Processes (Claessen).ps │ ├── Parsing Permutation Phrases (Baars, Loeh, Swierstra).pdf │ ├── Pickler Combinators (Kennedy).pdf │ ├── Polytypic Unification (Jansson, Jeuring).pdf │ ├── Producing All Ideals of a Forest, Functionally (Filliatre, Pottier).ps │ ├── Recursive Subtyping Revealed (Gapeyev, Levin, Pierce).ps │ ├── Strachey's functional pearl, forty years on (Spivey).pdf │ ├── Strong Types for Relational Data Stored in Databases or Spreadsheets (Martins da Silva).pdf │ ├── The Arrow Calculus (Lindley, Wadler, Yallop).pdf │ └── The countdown problem (Hutton).pdf ├── Functional Programming with Overloading and Higher-Order Polymorphism (Jones).pdf ├── Functional Reactive Animation (Elliott, Hudak).pdf ├── Functional Reactive Programming from First Principles (Wan, Hudak).pdf ├── Functional images (Elliott).pdf ├── Generalising Monads to Arrows (Hughes).pdf ├── Generic Views on Data Types (Holdermans, Jeuring, Loeh, Rodriguez).pdf ├── Genuinely Functional User Interfaces (Courtney, Elliott).pdf ├── H-Direct - A Binary Foreign Language Interface for Haskell (Finne, Leijen, Meijer, Peyton Jones).pdf ├── Haskell 98 Language and Libraries - The Revised Report (Peyton Jones).pdf ├── Haskell and XML - Generic Combinators or Type-Based Translation (Wallace, Runciman).pdf ├── Haskell's overlooked object system (Kiselyov, Laemmel).pdf ├── High Level Specification of I-O in Functional Languages (Achten, van Groningen, Plasmeijer).pdf ├── History of Lambda-calculus and Combinatory Logic (Cardone, Hindley).pdf ├── Implementing Type Classes (Peterson, Jones).pdf ├── Iteratee IO - safe, practical, declarative input processing (slides) (Kiselyov).pdf ├── Journal of Functional Programming │ ├── Commercial uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf │ ├── Control effects as a modality (Thielecke).pdf │ ├── From natural semantics to C - A formal derivation of two STG machines (de la Encina, Pena).pdf │ ├── The Genuine Sieve of Eratosthenes (O'Neill).pdf │ └── Type-safe higher-order channels with channel locality (Park, Im).pdf ├── Lambda Calculus and Combinatory Logic (Rosu).pdf ├── Layered Combinator Parsers with a Unique State (draft, Koopman, Plasmeijer).pdf ├── Lazy Functional State Threads (Launchbury, Peyton Jones).ps ├── Lazy Lexing Is Fast (Chakravarty).pdf ├── Modular Domain Specific Languages and Tools (Hudak).pdf ├── Modular Monadic Semantics (Liang, Hudak).pdf ├── Monad.Reader │ ├── TMR-Issue01.pdf │ ├── TMR-Issue06.pdf │ ├── TMR-Issue07.pdf │ ├── TMR-Issue08.pdf │ ├── TMR-Issue09.pdf │ ├── TMR-Issue10.pdf │ ├── TMR-Issue11.pdf │ ├── TMR-Issue12.pdf │ ├── TMR-Issue13.pdf │ ├── TMR-Issue14.pdf │ ├── TMR-Issue15.pdf │ ├── TMR-Issue16.pdf │ ├── TMR-Issue17.pdf │ ├── TMR-Issue18.pdf │ ├── TMR-Issue19.pdf │ └── TMR-Issue20.pdf ├── Monadic Constraint Programming (Schrijvers, Stuckey, Wadler).pdf ├── Monadic Parser Combinators (Hutton, Meijer).pdf ├── Multi-paradigm Declarative Languages (Hanus).pdf ├── Multi-stage programming with functors and monads (Carette, Kiselyov).pdf ├── Observable Sharing for Functional Circuit Description (Claessen, Sands).pdf ├── Optimal Purely Functional Priority Queues (Brodal, Okasaki).pdf ├── Parsec - Direct Style Monadic Parser Combinators For The Real World (Leijen, Meijer).pdf ├── Parsec Documentation (Leijen).pdf ├── Physics, Topology, Logic and Computation - A Rosetta Stone (Baez, Stay).pdf ├── Plugging a Space Leak with an Arrow (Liu, Hudak).pdf ├── Polytypic Programming in Haskell (Norell, Jansson).pdf ├── Porting the Clean Object I-O library to Haskell (Achten, Peyton Jones).pdf ├── Purely Functional Data Structures (Okasaki).pdf ├── Purely Functional Lazy Non-deterministic Programming (Fischer, Kiselyov, Shan).pdf ├── Push-Pull Functional Reactive Programming (Elliott).pdf ├── QuickCheck (Claessen, Hughes).ps ├── Realization of Natural-Language Interfaces Using Lazy Functional Programming (Frost).pdf ├── Removing Left Recursion from Context-Free Grammars (Moore).pdf ├── Report on Curry (Hanus).pdf ├── Scientific Computation and Functional Programming (Karczmarczuk).pdf ├── Scrap More Boilerplate - Reflection, Zips, and Generalised Casts (Laemmel, Peyton Jones).pdf ├── Scrap Your Boilerplate - A Practical Design Pattern for Generic Programming (Laemmel, Peyton Jones).pdf ├── Scrap Your Boilerplate - Reloaded (Hinze, Loeh, Oliveira).pdf ├── Scrap Your Boilerplate - Revolutions (Hinze, Loeh).pdf ├── Scrap Your Boilerplate with Class - Extensible Generic Functions (Laemmel, Peyton Jones).pdf ├── Scrap your Boilerplate with XPath-like Combinators (Laemmel).pdf ├── Simple Unification-based Type Inference for GADTs (Peyton Jones, Vytiniotis, Weirich, Washburn).pdf ├── Simplifying and Improving Qualified Types (Jones).pdf ├── Simply efficient functional reactivity (Elliott).pdf ├── State in Haskell (Launchbury, Peyton Jones).pdf ├── Stream Fusion - From Lists to Streams to Nothing at All (Coutts, Leshchinskiy, Stewart).pdf ├── Tackling the Awkward Squad (Peyton Jones).pdf ├── Template Meta-programming for Haskell (Sheard, Peyton Jones).pdf ├── Testing Monadic Code with QuickCheck (Claessen, Hughes).ps ├── That About Wraps it Up - Using FIX to Handle Errors Without Exceptions (McAdam).pdf ├── The C-- Language Specification (Ramsey, Peyton Jones, Lindig).pdf ├── The Construction of an SASL-Compiler (Grust).ps ├── The Design of a Pretty-printing Library (Hughes).pdf ├── The Essence of Form Abstraction (Cooper, Lindley, Wadler, Yallop).pdf ├── The Essence of Functional Programming (Wadler).ps ├── The Haskell Programmer's Guide to the IO Monad - Don't Panic (Klinger).pdf ├── The Integration of Functions into Logic Programming (older) (Hanus).pdf ├── Theorems for free (Wadler).pdf ├── Time and Space Profiling For Non-strict, Higher-order Functional Langugages (Sansom, Peyton Jones).pdf ├── Tracing Lazy Functional Computations Using Redex Trails (Sparud, Runciman).pdf ├── Tutorial on Curry (Antoy, Hanus).pdf ├── Type Classes in Haskell (Hall, Hammond, Peyton Jones, Wadler).pdf ├── Type Classes with Functional Dependencies (Jones).pdf ├── Type Theory and Functional Programming (Thompson).pdf ├── Type-Oriented Construction of Web User Interfaces (Hanus).pdf ├── Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf ├── Types Are Calling Conventions (Bolingbroke, Peyton Jones).pdf ├── Typing Haskell in Haskell (Jones).pdf ├── Uniform Boilerplate and List Processing (Mitchell, Runciman).pdf ├── WASH-CGI - Server-side Web Scripting with Sessions and Typed, Compositional Forms (Thiemann).pdf ├── Why Functional Programming Matters (Hughes).pdf ├── Wobbly Types - Type Inference for Generalised Algebraic Data Types (Peyton Jones, Washburn, Weirich).pdf └── Write Yourself a Scheme in 48 Hours (Tang et al.).pdf └── Prolog ├── Embedding Prolog in Haskell (Seres, Spivey).pdf ├── Scrap Your Boilerplate - Prologically! (Laemmel).pdf ├── Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf └── What is Unification (Goguen).ps /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | *~ 3 | *# 4 | -------------------------------------------------------------------------------- /CheatSheets/Haskell.CheatSheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/CheatSheets/Haskell.CheatSheet.pdf -------------------------------------------------------------------------------- /CheatSheets/Haskell.Haskell_Cheat_Sheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/CheatSheets/Haskell.Haskell_Cheat_Sheet.pdf -------------------------------------------------------------------------------- /CheatSheets/git-cheat-sheet(2).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/CheatSheets/git-cheat-sheet(2).pdf -------------------------------------------------------------------------------- /CheatSheets/git-cheat-sheet-v2 2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/CheatSheets/git-cheat-sheet-v2 2.pdf -------------------------------------------------------------------------------- /CheatSheets/git-cheat-sheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/CheatSheets/git-cheat-sheet.pdf -------------------------------------------------------------------------------- /General/A Tail-Recursive Machine with Stack Inspection (Clements, Felleisen).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/A Tail-Recursive Machine with Stack Inspection (Clements, Felleisen).pdf -------------------------------------------------------------------------------- /General/A survey of graphical languages for monoidal categories (Selinger).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/A survey of graphical languages for monoidal categories (Selinger).pdf -------------------------------------------------------------------------------- /General/Advanced Macrology and the Implementation of Typed Scheme (Culpepper, Tobin-Hochstadt, Flatt).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Advanced Macrology and the Implementation of Typed Scheme (Culpepper, Tobin-Hochstadt, Flatt).pdf -------------------------------------------------------------------------------- /General/Beej's Guide to Network Programming - Using Internet Sockets (Hall).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Beej's Guide to Network Programming - Using Internet Sockets (Hall).pdf -------------------------------------------------------------------------------- /General/Can Programming Be Liberated from the von Neumann Stype (Backus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Can Programming Be Liberated from the von Neumann Stype (Backus).pdf -------------------------------------------------------------------------------- /General/Can a Biologist Fix a Radio - or, What I Learned while Studying Apoptosis (Lazebnik).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Can a Biologist Fix a Radio - or, What I Learned while Studying Apoptosis (Lazebnik).pdf -------------------------------------------------------------------------------- /General/Can a Systems Biologist Fix a Tamagotchi (Cardelli).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Can a Systems Biologist Fix a Tamagotchi (Cardelli).pdf -------------------------------------------------------------------------------- /General/Categorical Programming with Abstract Data Types (Erwig).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Categorical Programming with Abstract Data Types (Erwig).pdf -------------------------------------------------------------------------------- /General/Categories for the practising physicist (Coecke, Paquette).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Categories for the practising physicist (Coecke, Paquette).pdf -------------------------------------------------------------------------------- /General/Continuations in Natural Language (Barker).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Continuations in Natural Language (Barker).pdf -------------------------------------------------------------------------------- /General/FAQ on Pi-Calculus (Wing).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/FAQ on Pi-Calculus (Wing).pdf -------------------------------------------------------------------------------- /General/Fortress Programming Language Tutorial (Steele, Maessen).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Fortress Programming Language Tutorial (Steele, Maessen).pdf -------------------------------------------------------------------------------- /General/GNU Emacs Manual (Stallman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/GNU Emacs Manual (Stallman).pdf -------------------------------------------------------------------------------- /General/Growing a Language (Steele).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Growing a Language (Steele).pdf -------------------------------------------------------------------------------- /General/Literate Programming (Knuth).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Literate Programming (Knuth).pdf -------------------------------------------------------------------------------- /General/Logical Types for Untyped Languages (Tobin-Hochstadt, Felleisen).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Logical Types for Untyped Languages (Tobin-Hochstadt, Felleisen).pdf -------------------------------------------------------------------------------- /General/MapReduce - Simplified Data Processing on Large Clusters (Dean, Ghemawat).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/MapReduce - Simplified Data Processing on Large Clusters (Dean, Ghemawat).pdf -------------------------------------------------------------------------------- /General/Network applications of Bloom filters (Broder, Mitzenmacher).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Network applications of Bloom filters (Broder, Mitzenmacher).pdf -------------------------------------------------------------------------------- /General/On Understanding Data Abstraction, Revisited (Cook).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/On Understanding Data Abstraction, Revisited (Cook).pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.05.07_Page.071.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.05.07_Page.071.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.07.02_Page.089.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.07.02_Page.089.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.07.03_Page.090.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.07.03_Page.090.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.20.02_Page.263.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.20.02_Page.263.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.22.11_Page.302.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.22.11_Page.302.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.23.02_Page.307.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.23.02_Page.307.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.23.06_Page.315.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.23.06_Page.315.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.24.01_Page.322.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.24.01_Page.322.pdf -------------------------------------------------------------------------------- /General/OnLisp/Fig.25.02_Page.352.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/Fig.25.02_Page.352.pdf -------------------------------------------------------------------------------- /General/OnLisp/On Lisp (Graham).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/OnLisp/On Lisp (Graham).pdf -------------------------------------------------------------------------------- /General/Overhang (Paterson, Zwick).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Overhang (Paterson, Zwick).pdf -------------------------------------------------------------------------------- /General/Physics, Topology, Logic and Computation, A Rosetta Stone (Baez, Stay).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Physics, Topology, Logic and Computation, A Rosetta Stone (Baez, Stay).pdf -------------------------------------------------------------------------------- /General/Programming Paradigms for Dummies - What Every Programmer Should Know (van Roy).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Programming Paradigms for Dummies - What Every Programmer Should Know (van Roy).pdf -------------------------------------------------------------------------------- /General/Project Fortress Quick Vocabulary Guide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Project Fortress Quick Vocabulary Guide.pdf -------------------------------------------------------------------------------- /General/Project Fortress Reference Card.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Project Fortress Reference Card.pdf -------------------------------------------------------------------------------- /General/Sound and Complete Type Inference for a Systems Programming Language (Sridhar, Shapiro, Smith).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Sound and Complete Type Inference for a Systems Programming Language (Sridhar, Shapiro, Smith).pdf -------------------------------------------------------------------------------- /General/Teaching Programming with the Kernel Language Approach (van Roy, Haridi).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Teaching Programming with the Kernel Language Approach (van Roy, Haridi).pdf -------------------------------------------------------------------------------- /General/The Design and Implementation of Typed Scheme (Tobin-Hochstadt, Felleisen).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/The Design and Implementation of Typed Scheme (Tobin-Hochstadt, Felleisen).pdf -------------------------------------------------------------------------------- /General/The Influence of Browsers on Evaluators or, Continuations to Program Web Servers (Queinnec).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/The Influence of Browsers on Evaluators or, Continuations to Program Web Servers (Queinnec).pdf -------------------------------------------------------------------------------- /General/The Origins of the BitC Programming Language (Shapiro, Sridhar, Doerrie).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/The Origins of the BitC Programming Language (Shapiro, Sridhar, Doerrie).pdf -------------------------------------------------------------------------------- /General/The camel has two humps (Dehnadi, Bornat).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/The camel has two humps (Dehnadi, Bornat).pdf -------------------------------------------------------------------------------- /General/Towards a Verified, General-Purpose Operating System Kernel (Shapiro, Doerrie, Northup, Sridhar, Miller).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Towards a Verified, General-Purpose Operating System Kernel (Shapiro, Doerrie, Northup, Sridhar, Miller).pdf -------------------------------------------------------------------------------- /General/Trampolined Style (Ganz, Friedman, Wand).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Trampolined Style (Ganz, Friedman, Wand).ps -------------------------------------------------------------------------------- /General/Using a Proof Assistant to Teach Programming Language Foundations (Pierce).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Using a Proof Assistant to Teach Programming Language Foundations (Pierce).pdf -------------------------------------------------------------------------------- /General/Why Pascal is Not My Favorite Programming Language (Kernighan).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/General/Why Pascal is Not My Favorite Programming Language (Kernighan).pdf -------------------------------------------------------------------------------- /Haskell/A Declarative Debugger for Haskell (Pope).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Declarative Debugger for Haskell (Pope).pdf -------------------------------------------------------------------------------- /Haskell/A Generic Recursion Toolbox for Haskell - Scrap Your Boilerplate Systematically (Ren, Erwig).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Generic Recursion Toolbox for Haskell - Scrap Your Boilerplate Systematically (Ren, Erwig).pdf -------------------------------------------------------------------------------- /Haskell/A History of Haskell (Hudak, Hughes, Peyton Jones, Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A History of Haskell (Hudak, Hughes, Peyton Jones, Wadler).pdf -------------------------------------------------------------------------------- /Haskell/A Principled Approach to Operating System Construction in Haskell (Hallgren, Jones, Leslie, Tolmach).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Principled Approach to Operating System Construction in Haskell (Hallgren, Jones, Leslie, Tolmach).pdf -------------------------------------------------------------------------------- /Haskell/A Program Transformation for Debugging Haskell 98 (Pope, Naish).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Program Transformation for Debugging Haskell 98 (Pope, Naish).pdf -------------------------------------------------------------------------------- /Haskell/A Short Cut to Deforestation (Gill, Launchbury, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Short Cut to Deforestation (Gill, Launchbury, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/A Static Semantics for Haskell (Faxen).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Static Semantics for Haskell (Faxen).ps -------------------------------------------------------------------------------- /Haskell/A Static Semantics for Haskell (Peyton Jones, Wadler).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Static Semantics for Haskell (Peyton Jones, Wadler).ps -------------------------------------------------------------------------------- /Haskell/A Supercompiler for Core Haskell (Mitchell - Runciman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A Supercompiler for Core Haskell (Mitchell - Runciman).pdf -------------------------------------------------------------------------------- /Haskell/A prettier printer (Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A prettier printer (Wadler).pdf -------------------------------------------------------------------------------- /Haskell/A program to solve Sudoku (Bird).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A program to solve Sudoku (Bird).pdf -------------------------------------------------------------------------------- /Haskell/A space semantics for core Haskell (Bakewell - Runciman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A space semantics for core Haskell (Bakewell - Runciman).pdf -------------------------------------------------------------------------------- /Haskell/A tutorial on the universality and expressiveness of fold (Hutton).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/A tutorial on the universality and expressiveness of fold (Hutton).pdf -------------------------------------------------------------------------------- /Haskell/An Alternative Approach to Initializing Mutually Referential Objects (Syme).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/An Alternative Approach to Initializing Mutually Referential Objects (Syme).pdf -------------------------------------------------------------------------------- /Haskell/An Evaluation of LOLITA and Related Natural Language Processing Systems (Callaghan).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/An Evaluation of LOLITA and Related Natural Language Processing Systems (Callaghan).pdf -------------------------------------------------------------------------------- /Haskell/Applicative programming with effects (McBride & Paterson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Applicative programming with effects (McBride & Paterson).pdf -------------------------------------------------------------------------------- /Haskell/Arrows and Computation (Paterson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Arrows and Computation (Paterson).pdf -------------------------------------------------------------------------------- /Haskell/Arrows, Robots, and Functional Reactive Programming (Hudak, Courtney, Nilsson, Peterson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Arrows, Robots, and Functional Reactive Programming (Hudak, Courtney, Nilsson, Peterson).pdf -------------------------------------------------------------------------------- /Haskell/Backtracking, Interleaving, and Terminating Monad Transformers (Kiselyov, Shan, Friedman, Sabry).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Backtracking, Interleaving, and Terminating Monad Transformers (Kiselyov, Shan, Friedman, Sabry).pdf -------------------------------------------------------------------------------- /Haskell/Beautiful Concurrency (Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Beautiful Concurrency (Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Beautiful Differentiation (Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Beautiful Differentiation (Elliott).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Algebra of Programming in Agda (Mu, Ko, Jansson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Algebra of Programming in Agda (Mu, Ko, Jansson).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Commercial Uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Commercial Uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/README.txt -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/bib.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/bib.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch0.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch1.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch10.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch11.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch12.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch2.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch3.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch4.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch5.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch6.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch6.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch7.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch7.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch8.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch9.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/ch9.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/contents.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/contents.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/frontmatter.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/frontmatter.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/preface.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Denotational Semantics - A Methodology for Language Development (Schmidt)/preface.pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Experience Report - Haskell in the 'Real World' (Sampson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Experience Report - Haskell in the 'Real World' (Sampson).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Finally Tagless, Partially Evaluated (Carette, Kiselyov, Shan).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Finally Tagless, Partially Evaluated (Carette, Kiselyov, Shan).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v1).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v1).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/Readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Readme.txt -------------------------------------------------------------------------------- /Haskell/Best of 2009/Safe Functional Reactive Programming through Dependent Types (Sculthorpe, Nilsson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/Safe Functional Reactive Programming through Dependent Types (Sculthorpe, Nilsson).pdf -------------------------------------------------------------------------------- /Haskell/Best of 2009/The Arrow Calculus (Lindley, Wadler, Yallop).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Best of 2009/The Arrow Calculus (Lindley, Wadler, Yallop).pdf -------------------------------------------------------------------------------- /Haskell/Building Domain-Specific Embedded Languages (Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Building Domain-Specific Embedded Languages (Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Building Interpreters by Composing Monads (Steele).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Building Interpreters by Composing Monads (Steele).ps -------------------------------------------------------------------------------- /Haskell/C--, a portable assembly language that supports garbage collection (Peyton Jones, Ramsey, Reig).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/C--, a portable assembly language that supports garbage collection (Peyton Jones, Ramsey, Reig).pdf -------------------------------------------------------------------------------- /Haskell/Certified Programming with Dependent Types (Chlipala).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Certified Programming with Dependent Types (Chlipala).pdf -------------------------------------------------------------------------------- /Haskell/Combinator Parsing - A Short Tutorial (Swierstra).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Combinator Parsing - A Short Tutorial (Swierstra).pdf -------------------------------------------------------------------------------- /Haskell/Comparing Approaches to Generic Programming in Haskell (Hinze, Jeuring, Loeh).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Comparing Approaches to Generic Programming in Haskell (Hinze, Jeuring, Loeh).pdf -------------------------------------------------------------------------------- /Haskell/Composing Haggis (Finne, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Composing Haggis (Finne, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Comprehending Monads (Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Comprehending Monads (Wadler).pdf -------------------------------------------------------------------------------- /Haskell/Computational Lambda-Calculus and Monads (Moggi).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Computational Lambda-Calculus and Monads (Moggi).pdf -------------------------------------------------------------------------------- /Haskell/Concurrent Haskell (Peyton Jones, Gordon, Finne).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Concurrent Haskell (Peyton Jones, Gordon, Finne).pdf -------------------------------------------------------------------------------- /Haskell/Denotational design with type class morphisms (Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Denotational design with type class morphisms (Elliott).pdf -------------------------------------------------------------------------------- /Haskell/Derivable Type Classes (Hinze, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Derivable Type Classes (Hinze, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Description of the LOLITA system as Used in MUC-7 (Garigliano, Urbanowicz, Nettleton).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Description of the LOLITA system as Used in MUC-7 (Garigliano, Urbanowicz, Nettleton).pdf -------------------------------------------------------------------------------- /Haskell/Design Patterns as Higher-Order Datatype-Generic Programs (Gibbons).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Design Patterns as Higher-Order Datatype-Generic Programs (Gibbons).pdf -------------------------------------------------------------------------------- /Haskell/Deterministic, Error-Correcting Combinator Parsers (Swierstra, Duponcheel).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Deterministic, Error-Correcting Combinator Parsers (Swierstra, Duponcheel).pdf -------------------------------------------------------------------------------- /Haskell/Domain Specific Embedded Compilers (Leijen, Meijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Domain Specific Embedded Compilers (Leijen, Meijer).pdf -------------------------------------------------------------------------------- /Haskell/Efficient Combinator Parsers (Koopman, Plasmeijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Efficient Combinator Parsers (Koopman, Plasmeijer).pdf -------------------------------------------------------------------------------- /Haskell/Fast, Error Correcting Parser Combinators - A Short Tutorial (Swierstra, Alcocer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Fast, Error Correcting Parser Combinators - A Short Tutorial (Swierstra, Alcocer).pdf -------------------------------------------------------------------------------- /Haskell/Finger trees - a simple general-purpose data structure (Hinze, Paterson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Finger trees - a simple general-purpose data structure (Hinze, Paterson).pdf -------------------------------------------------------------------------------- /Haskell/Flattening Combinators - Surviving Without Parentheses (Okasaki).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Flattening Combinators - Surviving Without Parentheses (Okasaki).ps -------------------------------------------------------------------------------- /Haskell/Free Theorems in the Presence of seq (Johann, Voigtlaender).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Free Theorems in the Presence of seq (Johann, Voigtlaender).pdf -------------------------------------------------------------------------------- /Haskell/Fudgets - A Graphical User Interface in a Lazy Functional Language (Carlsson, Hallgren).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Fudgets - A Graphical User Interface in a Lazy Functional Language (Carlsson, Hallgren).pdf -------------------------------------------------------------------------------- /Haskell/Fun with Functional Dependencies (Hallgren).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Fun with Functional Dependencies (Hallgren).pdf -------------------------------------------------------------------------------- /Haskell/Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v3).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Fun with Type Functions (Kiselyov, Peyton Jones, Shan) (v3).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/A Poor Man's Concurrency Monad (Claessen).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/A Poor Man's Concurrency Monad (Claessen).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/A type-correct, stack-safe, provably correct expression compiler in Epigram (McKinna, Wright).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/A type-correct, stack-safe, provably correct expression compiler in Epigram (McKinna, Wright).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Alpha-conversion is easy (Altenkirch).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Alpha-conversion is easy (Altenkirch).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Combinators for Breadth-First Search (Spivey).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Combinators for Breadth-First Search (Spivey).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Composing Contracts - An Adventure in Financial Engineering (Peyton Jones, Eber, Seward).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Composing Contracts - An Adventure in Financial Engineering (Peyton Jones, Eber, Seward).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Composing Fractals (Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Composing Fractals (Jones).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Deriving Backtracking Monad Transformers (Hinze).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Deriving Backtracking Monad Transformers (Hinze).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Do We Need Dependent Types (Fridlender, Indrika).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Do We Need Dependent Types (Fridlender, Indrika).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Enumerating the Rationals (Gibbons, Lester, Bird).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Enumerating the Rationals (Gibbons, Lester, Bird).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Enumerating the strings of regular languages (McIlroy).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Enumerating the strings of regular languages (McIlroy).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Haskell does it with class - Functorial unparsing (Hinze).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Haskell does it with class - Functorial unparsing (Hinze).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Implicit Configurations (Kiselyov, Shan).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Implicit Configurations (Kiselyov, Shan).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Linear, bounded, functional pretty-printing (Swierstra, Chitil).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Linear, bounded, functional pretty-printing (Swierstra, Chitil).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Monadic Parsing in Haskell (Hutton, Meijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Monadic Parsing in Haskell (Hutton, Meijer).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Monads for Incremental Computing (Carlsson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Monads for Incremental Computing (Carlsson).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Packrat Parsing - Simple, Powerful, Lazy, Linear Time (Ford).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Packrat Parsing - Simple, Powerful, Lazy, Linear Time (Ford).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Parallel Parsing Processes (Claessen).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Parallel Parsing Processes (Claessen).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Parsing Permutation Phrases (Baars, Loeh, Swierstra).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Parsing Permutation Phrases (Baars, Loeh, Swierstra).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Pickler Combinators (Kennedy).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Pickler Combinators (Kennedy).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Polytypic Unification (Jansson, Jeuring).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Polytypic Unification (Jansson, Jeuring).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Producing All Ideals of a Forest, Functionally (Filliatre, Pottier).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Producing All Ideals of a Forest, Functionally (Filliatre, Pottier).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Recursive Subtyping Revealed (Gapeyev, Levin, Pierce).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Recursive Subtyping Revealed (Gapeyev, Levin, Pierce).ps -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Strachey's functional pearl, forty years on (Spivey).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Strachey's functional pearl, forty years on (Spivey).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/Strong Types for Relational Data Stored in Databases or Spreadsheets (Martins da Silva).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/Strong Types for Relational Data Stored in Databases or Spreadsheets (Martins da Silva).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/The Arrow Calculus (Lindley, Wadler, Yallop).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/The Arrow Calculus (Lindley, Wadler, Yallop).pdf -------------------------------------------------------------------------------- /Haskell/Functional Pearls/The countdown problem (Hutton).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Pearls/The countdown problem (Hutton).pdf -------------------------------------------------------------------------------- /Haskell/Functional Programming with Overloading and Higher-Order Polymorphism (Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Programming with Overloading and Higher-Order Polymorphism (Jones).pdf -------------------------------------------------------------------------------- /Haskell/Functional Reactive Animation (Elliott, Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Reactive Animation (Elliott, Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Functional Reactive Programming from First Principles (Wan, Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional Reactive Programming from First Principles (Wan, Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Functional images (Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Functional images (Elliott).pdf -------------------------------------------------------------------------------- /Haskell/Generalising Monads to Arrows (Hughes).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Generalising Monads to Arrows (Hughes).pdf -------------------------------------------------------------------------------- /Haskell/Generic Views on Data Types (Holdermans, Jeuring, Loeh, Rodriguez).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Generic Views on Data Types (Holdermans, Jeuring, Loeh, Rodriguez).pdf -------------------------------------------------------------------------------- /Haskell/Genuinely Functional User Interfaces (Courtney, Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Genuinely Functional User Interfaces (Courtney, Elliott).pdf -------------------------------------------------------------------------------- /Haskell/H-Direct - A Binary Foreign Language Interface for Haskell (Finne, Leijen, Meijer, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/H-Direct - A Binary Foreign Language Interface for Haskell (Finne, Leijen, Meijer, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Haskell 98 Language and Libraries - The Revised Report (Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Haskell 98 Language and Libraries - The Revised Report (Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Haskell and XML - Generic Combinators or Type-Based Translation (Wallace, Runciman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Haskell and XML - Generic Combinators or Type-Based Translation (Wallace, Runciman).pdf -------------------------------------------------------------------------------- /Haskell/Haskell's overlooked object system (Kiselyov, Laemmel).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Haskell's overlooked object system (Kiselyov, Laemmel).pdf -------------------------------------------------------------------------------- /Haskell/High Level Specification of I-O in Functional Languages (Achten, van Groningen, Plasmeijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/High Level Specification of I-O in Functional Languages (Achten, van Groningen, Plasmeijer).pdf -------------------------------------------------------------------------------- /Haskell/History of Lambda-calculus and Combinatory Logic (Cardone, Hindley).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/History of Lambda-calculus and Combinatory Logic (Cardone, Hindley).pdf -------------------------------------------------------------------------------- /Haskell/Implementing Type Classes (Peterson, Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Implementing Type Classes (Peterson, Jones).pdf -------------------------------------------------------------------------------- /Haskell/Iteratee IO - safe, practical, declarative input processing (slides) (Kiselyov).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Iteratee IO - safe, practical, declarative input processing (slides) (Kiselyov).pdf -------------------------------------------------------------------------------- /Haskell/Journal of Functional Programming/Commercial uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Journal of Functional Programming/Commercial uses - Going functional on exotic trades (Frankau, Spinellis, Nassuphis, Burgard).pdf -------------------------------------------------------------------------------- /Haskell/Journal of Functional Programming/Control effects as a modality (Thielecke).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Journal of Functional Programming/Control effects as a modality (Thielecke).pdf -------------------------------------------------------------------------------- /Haskell/Journal of Functional Programming/From natural semantics to C - A formal derivation of two STG machines (de la Encina, Pena).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Journal of Functional Programming/From natural semantics to C - A formal derivation of two STG machines (de la Encina, Pena).pdf -------------------------------------------------------------------------------- /Haskell/Journal of Functional Programming/The Genuine Sieve of Eratosthenes (O'Neill).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Journal of Functional Programming/The Genuine Sieve of Eratosthenes (O'Neill).pdf -------------------------------------------------------------------------------- /Haskell/Journal of Functional Programming/Type-safe higher-order channels with channel locality (Park, Im).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Journal of Functional Programming/Type-safe higher-order channels with channel locality (Park, Im).pdf -------------------------------------------------------------------------------- /Haskell/Lambda Calculus and Combinatory Logic (Rosu).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Lambda Calculus and Combinatory Logic (Rosu).pdf -------------------------------------------------------------------------------- /Haskell/Layered Combinator Parsers with a Unique State (draft, Koopman, Plasmeijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Layered Combinator Parsers with a Unique State (draft, Koopman, Plasmeijer).pdf -------------------------------------------------------------------------------- /Haskell/Lazy Functional State Threads (Launchbury, Peyton Jones).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Lazy Functional State Threads (Launchbury, Peyton Jones).ps -------------------------------------------------------------------------------- /Haskell/Lazy Lexing Is Fast (Chakravarty).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Lazy Lexing Is Fast (Chakravarty).pdf -------------------------------------------------------------------------------- /Haskell/Modular Domain Specific Languages and Tools (Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Modular Domain Specific Languages and Tools (Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Modular Monadic Semantics (Liang, Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Modular Monadic Semantics (Liang, Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue01.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue06.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue06.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue07.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue07.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue08.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue09.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue09.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue10.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue11.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue12.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue13.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue13.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue14.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue14.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue15.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue15.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue16.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue16.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue17.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue17.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue18.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue18.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue19.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue19.pdf -------------------------------------------------------------------------------- /Haskell/Monad.Reader/TMR-Issue20.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monad.Reader/TMR-Issue20.pdf -------------------------------------------------------------------------------- /Haskell/Monadic Constraint Programming (Schrijvers, Stuckey, Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monadic Constraint Programming (Schrijvers, Stuckey, Wadler).pdf -------------------------------------------------------------------------------- /Haskell/Monadic Parser Combinators (Hutton, Meijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Monadic Parser Combinators (Hutton, Meijer).pdf -------------------------------------------------------------------------------- /Haskell/Multi-paradigm Declarative Languages (Hanus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Multi-paradigm Declarative Languages (Hanus).pdf -------------------------------------------------------------------------------- /Haskell/Multi-stage programming with functors and monads (Carette, Kiselyov).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Multi-stage programming with functors and monads (Carette, Kiselyov).pdf -------------------------------------------------------------------------------- /Haskell/Observable Sharing for Functional Circuit Description (Claessen, Sands).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Observable Sharing for Functional Circuit Description (Claessen, Sands).pdf -------------------------------------------------------------------------------- /Haskell/Optimal Purely Functional Priority Queues (Brodal, Okasaki).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Optimal Purely Functional Priority Queues (Brodal, Okasaki).pdf -------------------------------------------------------------------------------- /Haskell/Parsec - Direct Style Monadic Parser Combinators For The Real World (Leijen, Meijer).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Parsec - Direct Style Monadic Parser Combinators For The Real World (Leijen, Meijer).pdf -------------------------------------------------------------------------------- /Haskell/Parsec Documentation (Leijen).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Parsec Documentation (Leijen).pdf -------------------------------------------------------------------------------- /Haskell/Physics, Topology, Logic and Computation - A Rosetta Stone (Baez, Stay).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Physics, Topology, Logic and Computation - A Rosetta Stone (Baez, Stay).pdf -------------------------------------------------------------------------------- /Haskell/Plugging a Space Leak with an Arrow (Liu, Hudak).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Plugging a Space Leak with an Arrow (Liu, Hudak).pdf -------------------------------------------------------------------------------- /Haskell/Polytypic Programming in Haskell (Norell, Jansson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Polytypic Programming in Haskell (Norell, Jansson).pdf -------------------------------------------------------------------------------- /Haskell/Porting the Clean Object I-O library to Haskell (Achten, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Porting the Clean Object I-O library to Haskell (Achten, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Purely Functional Data Structures (Okasaki).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Purely Functional Data Structures (Okasaki).pdf -------------------------------------------------------------------------------- /Haskell/Purely Functional Lazy Non-deterministic Programming (Fischer, Kiselyov, Shan).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Purely Functional Lazy Non-deterministic Programming (Fischer, Kiselyov, Shan).pdf -------------------------------------------------------------------------------- /Haskell/Push-Pull Functional Reactive Programming (Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Push-Pull Functional Reactive Programming (Elliott).pdf -------------------------------------------------------------------------------- /Haskell/QuickCheck (Claessen, Hughes).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/QuickCheck (Claessen, Hughes).ps -------------------------------------------------------------------------------- /Haskell/Realization of Natural-Language Interfaces Using Lazy Functional Programming (Frost).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Realization of Natural-Language Interfaces Using Lazy Functional Programming (Frost).pdf -------------------------------------------------------------------------------- /Haskell/Removing Left Recursion from Context-Free Grammars (Moore).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Removing Left Recursion from Context-Free Grammars (Moore).pdf -------------------------------------------------------------------------------- /Haskell/Report on Curry (Hanus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Report on Curry (Hanus).pdf -------------------------------------------------------------------------------- /Haskell/Scientific Computation and Functional Programming (Karczmarczuk).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scientific Computation and Functional Programming (Karczmarczuk).pdf -------------------------------------------------------------------------------- /Haskell/Scrap More Boilerplate - Reflection, Zips, and Generalised Casts (Laemmel, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap More Boilerplate - Reflection, Zips, and Generalised Casts (Laemmel, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Scrap Your Boilerplate - A Practical Design Pattern for Generic Programming (Laemmel, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap Your Boilerplate - A Practical Design Pattern for Generic Programming (Laemmel, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Scrap Your Boilerplate - Reloaded (Hinze, Loeh, Oliveira).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap Your Boilerplate - Reloaded (Hinze, Loeh, Oliveira).pdf -------------------------------------------------------------------------------- /Haskell/Scrap Your Boilerplate - Revolutions (Hinze, Loeh).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap Your Boilerplate - Revolutions (Hinze, Loeh).pdf -------------------------------------------------------------------------------- /Haskell/Scrap Your Boilerplate with Class - Extensible Generic Functions (Laemmel, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap Your Boilerplate with Class - Extensible Generic Functions (Laemmel, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Scrap your Boilerplate with XPath-like Combinators (Laemmel).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Scrap your Boilerplate with XPath-like Combinators (Laemmel).pdf -------------------------------------------------------------------------------- /Haskell/Simple Unification-based Type Inference for GADTs (Peyton Jones, Vytiniotis, Weirich, Washburn).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Simple Unification-based Type Inference for GADTs (Peyton Jones, Vytiniotis, Weirich, Washburn).pdf -------------------------------------------------------------------------------- /Haskell/Simplifying and Improving Qualified Types (Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Simplifying and Improving Qualified Types (Jones).pdf -------------------------------------------------------------------------------- /Haskell/Simply efficient functional reactivity (Elliott).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Simply efficient functional reactivity (Elliott).pdf -------------------------------------------------------------------------------- /Haskell/State in Haskell (Launchbury, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/State in Haskell (Launchbury, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Stream Fusion - From Lists to Streams to Nothing at All (Coutts, Leshchinskiy, Stewart).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Stream Fusion - From Lists to Streams to Nothing at All (Coutts, Leshchinskiy, Stewart).pdf -------------------------------------------------------------------------------- /Haskell/Tackling the Awkward Squad (Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Tackling the Awkward Squad (Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Template Meta-programming for Haskell (Sheard, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Template Meta-programming for Haskell (Sheard, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Testing Monadic Code with QuickCheck (Claessen, Hughes).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Testing Monadic Code with QuickCheck (Claessen, Hughes).ps -------------------------------------------------------------------------------- /Haskell/That About Wraps it Up - Using FIX to Handle Errors Without Exceptions (McAdam).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/That About Wraps it Up - Using FIX to Handle Errors Without Exceptions (McAdam).pdf -------------------------------------------------------------------------------- /Haskell/The C-- Language Specification (Ramsey, Peyton Jones, Lindig).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The C-- Language Specification (Ramsey, Peyton Jones, Lindig).pdf -------------------------------------------------------------------------------- /Haskell/The Construction of an SASL-Compiler (Grust).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Construction of an SASL-Compiler (Grust).ps -------------------------------------------------------------------------------- /Haskell/The Design of a Pretty-printing Library (Hughes).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Design of a Pretty-printing Library (Hughes).pdf -------------------------------------------------------------------------------- /Haskell/The Essence of Form Abstraction (Cooper, Lindley, Wadler, Yallop).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Essence of Form Abstraction (Cooper, Lindley, Wadler, Yallop).pdf -------------------------------------------------------------------------------- /Haskell/The Essence of Functional Programming (Wadler).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Essence of Functional Programming (Wadler).ps -------------------------------------------------------------------------------- /Haskell/The Haskell Programmer's Guide to the IO Monad - Don't Panic (Klinger).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Haskell Programmer's Guide to the IO Monad - Don't Panic (Klinger).pdf -------------------------------------------------------------------------------- /Haskell/The Integration of Functions into Logic Programming (older) (Hanus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/The Integration of Functions into Logic Programming (older) (Hanus).pdf -------------------------------------------------------------------------------- /Haskell/Theorems for free (Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Theorems for free (Wadler).pdf -------------------------------------------------------------------------------- /Haskell/Time and Space Profiling For Non-strict, Higher-order Functional Langugages (Sansom, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Time and Space Profiling For Non-strict, Higher-order Functional Langugages (Sansom, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Tracing Lazy Functional Computations Using Redex Trails (Sparud, Runciman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Tracing Lazy Functional Computations Using Redex Trails (Sparud, Runciman).pdf -------------------------------------------------------------------------------- /Haskell/Tutorial on Curry (Antoy, Hanus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Tutorial on Curry (Antoy, Hanus).pdf -------------------------------------------------------------------------------- /Haskell/Type Classes in Haskell (Hall, Hammond, Peyton Jones, Wadler).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Type Classes in Haskell (Hall, Hammond, Peyton Jones, Wadler).pdf -------------------------------------------------------------------------------- /Haskell/Type Classes with Functional Dependencies (Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Type Classes with Functional Dependencies (Jones).pdf -------------------------------------------------------------------------------- /Haskell/Type Theory and Functional Programming (Thompson).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Type Theory and Functional Programming (Thompson).pdf -------------------------------------------------------------------------------- /Haskell/Type-Oriented Construction of Web User Interfaces (Hanus).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Type-Oriented Construction of Web User Interfaces (Hanus).pdf -------------------------------------------------------------------------------- /Haskell/Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf -------------------------------------------------------------------------------- /Haskell/Types Are Calling Conventions (Bolingbroke, Peyton Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Types Are Calling Conventions (Bolingbroke, Peyton Jones).pdf -------------------------------------------------------------------------------- /Haskell/Typing Haskell in Haskell (Jones).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Typing Haskell in Haskell (Jones).pdf -------------------------------------------------------------------------------- /Haskell/Uniform Boilerplate and List Processing (Mitchell, Runciman).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Uniform Boilerplate and List Processing (Mitchell, Runciman).pdf -------------------------------------------------------------------------------- /Haskell/WASH-CGI - Server-side Web Scripting with Sessions and Typed, Compositional Forms (Thiemann).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/WASH-CGI - Server-side Web Scripting with Sessions and Typed, Compositional Forms (Thiemann).pdf -------------------------------------------------------------------------------- /Haskell/Why Functional Programming Matters (Hughes).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Why Functional Programming Matters (Hughes).pdf -------------------------------------------------------------------------------- /Haskell/Wobbly Types - Type Inference for Generalised Algebraic Data Types (Peyton Jones, Washburn, Weirich).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Wobbly Types - Type Inference for Generalised Algebraic Data Types (Peyton Jones, Washburn, Weirich).pdf -------------------------------------------------------------------------------- /Haskell/Write Yourself a Scheme in 48 Hours (Tang et al.).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Haskell/Write Yourself a Scheme in 48 Hours (Tang et al.).pdf -------------------------------------------------------------------------------- /Prolog/Embedding Prolog in Haskell (Seres, Spivey).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Prolog/Embedding Prolog in Haskell (Seres, Spivey).pdf -------------------------------------------------------------------------------- /Prolog/Scrap Your Boilerplate - Prologically! (Laemmel).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Prolog/Scrap Your Boilerplate - Prologically! (Laemmel).pdf -------------------------------------------------------------------------------- /Prolog/Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Prolog/Typed Logical Variables in Haskell (Claessen, Ljunglof).pdf -------------------------------------------------------------------------------- /Prolog/What is Unification (Goguen).ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aistrate/Articles/HEAD/Prolog/What is Unification (Goguen).ps --------------------------------------------------------------------------------