Effective ATS

• Copying Files
• List-folding Combinators
• Encoding Propositional Logic
• Loops as Tail-Recursive Functions
• Hanoi Towers
• Word Counting
• An Amortized Queue Implementation
• An Array-Based Stack Implementation
• Mergesort (top-down)
• Parallel Sorting
• Sorting Linear Lists
• Dining Philosophers
• Dining Philosophers (2)
• Producer-Consumer
• Readers-and-Writers
• IPC based on Redis
• Implementing a minimal http-server
• Drawing Sierpinski Triangles
• Combinators for Parsing in CPS-style
• Session-typed channels (1)
• Session-typed channels (2)
• Linear Streams for Memory-Clean Programs
• Two Styles of Theorem-Proving in ATS
• Functional Programming with Combinators
• Functional Reactive Programming via Bacon.js
• Let's build a template-based package!
• A Template-Based Implementation of Graph Search
• Let's start with package-based programming!
• Doing Divide-and-Conquer in Parallel
• Streamization and Stream-Processing in Parallel