“‘Haskell’ Tag”,2018-12-12

Bibliography for tag cs/haskell, most recent first: 293 annotations & 75 links (parent).

• See Also
• Gwern
  • “Statistical Notes”, Gwern2014
  • “Archiving URLs”, Gwern2011
  • “Auto-Smallcaps Filter”, Gwern2020
  • “About Gwern”, Gwern2009
  • “Solving Pascal’s Mugging With Dynamic Programming”, Gwern2019
  • “Spaced Repetition for Efficient Learning”, Gwern2009
  • “Prediction Markets”, Gwern2009
  • “Nootropics”, Gwern2010
  • “Summers of Code, 2006^–₇2013_11ya”, Gwern2009
  • “Writing a Wikipedia Link Archive Bot”, Gwern2008
  • “‘HP: Methods of Rationality’ Review Statistics”, Gwern2012
  • “Candy Japan’s New Box A/B Test”, Gwern2016
  • “Who Wrote The Death Note Script?”, Gwern2009
  • “2012 Election Predictions”, Gwern2012
  • “Touhou Music by the Numbers”, Gwern2013
  • “Bitcoin Donations on The Pirate Bay”, Gwern2014
  • “Archiving GitHub”, Gwern2011
  • “SICP Chapter 1.1 Notes”, Gwern2009
  • “Golfing Run Length Encoding in Haskell”, Gwern2008
  • “Writing a Wikipedia RSS Link Archive Bot”, Gwern2009
  • “Choosing Software”, Gwern2008
  • “Hypertime in Haskell”, Gwern2012
  • “SICP Chapter 1.3”, Gwern2010
  • “Resilient Haskell Software”, Gwern2008
  • “SICP Chapter 1.2 Notes”, Gwern2009
• Links
  • “Functional Ownership through Fractional Uniqueness”, Marshall & Orchard2023
  • “Typed Design Patterns for the Functional Era”, Crichton2023
  • “Problem 14 Dynamic Programming Solutions”, Gwern et al 2022
  • “Understanding Jane Street: Strong Language”, Hobart2022
  • “Keep Your Laziness in Check”, Foner et al 2018
  • “The Kelly Coin-Flipping Game: Exact Solutions”, Gwern et al 2017
  • “Modular Implicits”, White et al 2015
  • “Practical Probabilistic Programming With Monads”, Ścibior et al 2015
  • “Hyphenation: Configurable Knuth-Liang Hyphenation”, Kmett2012
  • “The Architecture of the Utrecht Haskell Compiler”, Dijkstra et al 2009
  • “Omega Monad: Enumerating a Context-Free Language”, Palmer2008
  • “Infinite Sets That Admit Fast Exhaustive Search”, Escardo2007
  • “Static Typing for a Faulty Lambda Calculus”, Walker et al 2006
  • “Total Functional Programming”, Turner2004b
  • “Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons1999
  • “A Functional Description of T_eX’s Formula Layout”, Heckmann & Wilhelm1997
  • “Using Circular Programs to Eliminate Multiple Traversals of Data”, Bird1984
  • “From Löb’s Theorem to Spreadsheet Evaluation”
  • “The Three Projections of Doctor Futamura”
  • “Shuffles, Bayes’ Theorem and Continuations.”
  • “Accidentally Quadratic”
  • “Arbtt: the Automatic, Rule-Based Time Tracker § About”
  • “Index of /code.haskell.org/hbuild/”
  • “Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp”
  • “The Dhall Configuration Language”
  • “GhcLiVE Project Escapes!”
  • “Parallelize Cabal Build over Modules”
  • “install -J: Allow Limiting the Number of Parallel Linker Invocations”, Glushenkov2024
  • “Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment”, Mar 2024
  • “Articles”
  • “YHC‘s Sort Is Faster Than GHC’s”
  • “#3843: Merge Plugins into HEAD”
  • “#910: –Make Should Have a -J Flag for Parallel Building”
  • “Wiki”
  • “Immix”
  • “New Plugins · Wiki · Glasgow Haskell Compiler / GHC”
  • “Hackage: Introduction”
  • “Barracuda: An Ad-Hoc P2P Chat Program”
  • “DBus: D-Bus Bindings”
  • “DisTract: Distributed Bug Tracking System”
  • “DrIFT-Cabalized: Program to Derive Type Class Instances”
  • “FermatsLastMargin: Annotate Ps and Pdf Documents”
  • “Flippi: Wiki”
  • “HFuse: HFuse Is a Binding for the Linux FUSE Library”
  • “HRay: Haskell Raytracer”
  • “HTTP: A Library for Client-Side HTTP”
  • “Network.HTTP”
  • “Hashell: Simple Shell Written in Haskell”
  • “Judy Bindings, and Some Nice APIs”
  • “ListZipper: Simple Zipper for Lists”
  • “Monadius: 2-D Arcade Scroller”
  • “TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors”
  • “ZMachine: A Z-Machine Interpreter”
  • “Adhoc-Network: Ad-Hoc P2P Network Protocol”
  • “Archiver: Archive Supplied URLs in WebCite & Internet Archive”
  • “Archiver: Archive Supplied URLs in WebCite & Internet Archive”
  • “Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions”
  • “Control.Concurrent.MVar”
  • “Data.Monoid”
  • “Prelude”
  • “Bio: A Bioinformatics Library”
  • “Blaze-Builder: Efficient Buffered Output”
  • “Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell”
  • “Botpp: Build Tool for Lambdabot”
  • “Brainfuck: Brainfuck Interpreter”
  • “Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface”
  • “Cabal-Query: Helpers for Quering .cabal Files or HackageDB’s 00-Index.tar”
  • “Clustertools: Tools for Manipulating Sequence Clusters”
  • “Condorcet: Library for Condorcet Voting”
  • “Conjure: A BitTorrent Client”
  • “Data.Graph”
  • “Data.Set”
  • “Curl: Haskell Binding to Libcurl”
  • “Network.Curl”
  • “Network.Curl”
  • “Darcs-Cabalized: David’s Advanced Version Control System”
  • “Darcs-Graph: Generate Graphs of Darcs Repository Activity”
  • “Analyze Quality of Nucleotide Sequences.”
  • “Djinn: Generate Haskell Code from a Type”
  • “Estreps: Repeats from ESTs”
  • “Feed: Interfacing With RSS (v 0.9x, 2.x, 1.0) + Atom Feeds.”
  • “Fst: Finite State Transducers”
  • “Genericserialize: Serialization Library Using Data.Generics”
  • “Ghclive: Interactive Haskell Interpreter in a Browser”
  • “Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc.”
  • “Goa: GHCi Bindings to Lambdabot”
  • “GreenCard, a Foreign Function Pre-Processor for Haskell”
  • “Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell”
  • “Hakyll: A Static Website Compiler Library”
  • “Harp: HaRP Allows Pattern-Matching With Regular Expressions”
  • “Hashed-Storage: Hashed File Storage Support Code.”
  • “Hashtables: Mutable Hash Tables in the ST Monad”
  • “Haskell-In-Space: ‘Asteroids’ Arcade Games”
  • “Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer”
  • “Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts”
  • “Hback: N-Back Memory Game”
  • “Helisp: An Incomplete Elisp Compiler”
  • “Hetris: Text Tetris”
  • “Hgeometric: A Geometric Library With Bindings to GPC”
  • “HighWaterMark: Memory Usage Statistics”
  • “Hinstaller: Installer Wrapper for Haskell Applications”
  • “Hjs: JavaScript Parser”
  • “Hlint: Source Code Suggestions”
  • “Haskell API Search”
  • “Hopenssl: FFI Bindings to OpenSSL’s EVP Digest Interface”
  • “Hs-Fltk: Binding to GUI Library FLTK”
  • “Hscurses: NCurses Bindings for Haskell”
  • “Hsdip: a Diplomacy Parser/renderer”
  • “Hsdns: Asynchronous DNS Resolver”
  • “Parsec Parsers for the Internet Message Format (e-Mail)”
  • “Library Wrapping the GnuTLS API.”
  • “Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations”
  • “Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages.”
  • “Hspr-Sh: Session Handler for HSP”
  • “Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support”
  • “Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (deprecated)”
  • “Hybrid: A Implementation of a Type-Checker for Lambda-H”
  • “Infix Expression Re-Parsing (for HsParser Library)”
  • “Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting”
  • “Iteratee: Iteratee-Based I/O”
  • “Theorem Proving Library Based on Dependent Type Theory”
  • “Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot”
  • “Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs”
  • “Linkchk Is a Network Interface Link Ping Monitor.”
  • “Mohws: Modular Haskell Web Server”
  • “Mpdmate: MPD/PowerMate Executable”
  • “Mtl: Monad Classes for Transformers, Using Functional Dependencies”
  • “Control.Monad.State.Lazy”
  • “Nanocurses: Simple Curses Binding”
  • “Network: Low-Level Networking Interface”
  • “Network-Uri: URI Manipulation”
  • “Data.Number.CReal”
  • “Nymphaea: An Interactive GUI for Manipulating L-Systems”
  • “Orchid: Haskell Wiki Library”
  • “Pesca: Proof Editor for Sequent Calculus”
  • “Pkcs1: RSA Encryption With PKCS1 Padding”
  • “Plugins: Dynamic Linking for Haskell and C Objects”
  • “Popenhs: Popenhs Is a Popen-Like Library for Haskell”
  • “Powermate: Bindings for Griffin PowerMate USB”
  • “Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper”
  • “Pugs-Hsregex: Haskell PCRE Binding”
  • “Push-Notify: A Server-Side Library for Sending Push Notifications”
  • “Rbr: Mask Nucleotide (EST) Sequences in Fasta Format”
  • “Serialize Data”
  • “Roguestar-Engine: Sci-Fi Roguelike Game”
  • “Sci-Fi Roguelike Game. Client Library.”
  • “The RogueStar Animation and Graphics Library”
  • “Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel”
  • “Scion: Haskell IDE Library”
  • “Show: ‘Show’ Instances for Lambdabot”
  • “Simseq: Simulate Sequencing With Different Models for Priming and Errors”
  • “Smallcheck: A Property-Based Testing Library”
  • “Split: Combinator Library for Splitting Lists”
  • “Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString”
  • “Tagsoup: Parsing and Extracting Information from (possibly Malformed) HTML/XML Documents”
  • “Text.HTML.TagSoup.Parser”
  • “Text.HTML.TagSoup.Parser”
  • “Tetris: A 2-D Clone of Tetris”
  • “Typing Haskell In Haskell”
  • “Trhsx: Deprecated”
  • “Type-Equality-Check: Type Equality Check”
  • “Unix: POSIX Functionality”
  • “Unlambda: Unlambda Interpreter”
  • “Urlcheck: Parallel Link Checker”
  • “Vector: Efficient Arrays”
  • “Vty: A Simple Terminal UI Library”
  • “Xml-Parsec: Parsing XML With Parsec”
  • “Xml2x: Convert BLAST Output in XML Format to CSV or HTML”
  • “XMonad.Actions.Search”
  • “XMonad.Prompt.Shell”
  • “Xmonad-Utils: A Small Collection of X Utilities”
  • “Xsact: Cluster EST Sequences”
  • “Yi-Gtk: The Haskell-Scriptable Editor, Helper Package”
  • “Yi-Vty: The Haskell-Scriptable Editor, Helper Package”
  • “Packages by Category”
  • “Packages by Category”
  • “Hledger Homepage”
  • “Hoogle”
  • “%5BInt%5D_->_Int”
  • “%5Ba%5D_->_%5Ba%5D”
  • “%5Ba%5D_->_a”
  • “=<<”
  • “(Monoid_a)_=>_a”
  • “(Monoid_a)_=>_a_->_a_->_a”
  • “(a1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D”
  • “(a_->_b_->_c)_->_(a,b)_->_c”
  • “(a_->_m_b)_->_%5Ba%5D_->_m_()”
  • “(x_->_Bool)_->_(x_->_x)_->_x_->_x”
  • “Control.Monad.void”
  • “Control.Parallel.Strategies”
  • “Data.List”
  • “Data.List.sort”
  • “Data.Monoid”
  • “Data.Sequence”
  • “Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
  • “Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
  • “Filter”
  • “IO_a_->_IO_()”
  • “IO_a_->_IO_ThreadId”
  • “IO_a_->_IO_a”
  • “Int_->_%5Ba%5D_->_%5Ba%5D”
  • “Int_->_a_->_%5Ba%5D”
  • “Monad”
  • “Network.HTTP”
  • “Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
  • “Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
  • “Product”
  • “String_->_Int”
  • “System.Cmd”
  • “System.FilePath.dropExtension”
  • “System.Process”
  • “XMonad.Actions.Search”
  • “A_->_%5Ba%5D”
  • “A_->_%5Ba%5D_->_Int”
  • “A_->_(a_->_a)_->_%5Ba%5D”
  • “Concat”
  • “ElemIndex”
  • “ElemIndices”
  • “Filter”
  • “GetArgs”
  • “GetContents”
  • “IsPrefixOf”
  • “Iterate”
  • “LiftM”
  • “LogBase”
  • “LogBase”
  • “MapM_”
  • “MapM_”
  • “MapM_”
  • “Maximum”
  • “Product”
  • “ReadProcessWithExitCode”
  • “ReadProcessWithExitCode”
  • “Repeat”
  • “Replicate”
  • “RunCommand”
  • “Spawn”
  • “TakeWhile”
  • “TakeWhile”
  • “Uncurry”
  • “UnsafeInterleaveIO”
  • “Words”
  • “Turnstyle: an Esoteric Visual Functional Language”
  • “The Cabal-Devel Archives”
  • “GHC Core Plugins”
  • “The Haskell-Cafe May 2007 Archive by Thread”
  • “[Haskell-Cafe] Re: [Haskell] Google Summer of Code2009”
  • “[Haskell-Cafe] Re: [Haskell] Google Summer of Code2009”
  • “The Haskell-Cafe February 2009 Archive by Subject”
  • “[Haskell-Cafe] Haskell Summers of Code Retrospective (updated for 2010)”
  • “GSoC Project Proposal: Markdown Support for Haddock”
  • “[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator”
  • “[Haskell-Cafe] [Haskell.org Google Summer of Code2013] Approved Projects”
  • “[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices”
  • “Cartesian Closed Comic #15: Iteratees”
  • “The Sad State of Property-Based Testing Libraries”
  • “Application Information”
  • “[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library”
  • “Adding an Ignore Function to Control.Monad”
  • “[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3”
  • “[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage”
  • “[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies”
  • “[Haskell-Cafe] Summer of Code”
  • “[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (and Cabal-1.16.0.1)”
  • “Improve System.Environment Haddocks”
  • “Proposal: Add Int Indexing Functions to Data.Set”
  • “Arrow”
  • “Cabal-Install”
  • “Cabal-Install”
  • “GHC/Data Parallel Haskell”
  • “Generalised Algebraic Datatype”
  • “Google Summer of Code”
  • “HaskellWiki”
  • “Haskell Platform”
  • “Hp2any”
  • “Hpysics”
  • “Parallelism and Concurrency”
  • “Stack Overflow”
  • “Tail Recursion”
  • “The Monad.Reader”
  • “User:Gwern”
  • “Xmonad/Config Archive”
  • “Xmonad/Config Archive/Gwern’s Xmonad.hs”
  • “Zipper”
  • “Search”
  • “Haskell Wiki § User:Gwern Contributions”
  • “‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012”
  • “Gwern Site:http://www.haskell.org/pipermail/haskell-Cafe/”
  • “Gwern Site:http://www.haskell.org/pipermail/libraries/”
  • “Gwern Site:http://www.haskell.org/pipermail/xmonad/”
  • “Haskell Language”
  • “The Haskell Cabal”
  • “Really Old Cabal Stuff”
  • Wikipedia
• Miscellaneous
• Bibliography