Zipper-based File/OS1 An extra-program demo at the Haskell Workshop 2005 We present a file server/OS where threading and exceptions are all realized via delimited continuations. There are no unsafe operations, no GHC le

Source URL: okmij.org

• Zipper
• User interfaces
• Ls
• Cd
• Rm
• Mv
• Command
• Tree traversal
• Stat
• Computing
• Functional programming
• Ln

CIS 194: Homework 7 Due Wednesday, 25 March Figure 1: The Haskell logo is modelled after the bind function (>>=) in the Monad type class

Source URL: www.seas.upenn.edu

• C++ Standard Library
• Sorting algorithms
• Analysis of algorithms
• Quicksort
• Science
• Monad
• Sequence container
• Fisher–Yates shuffle
• Randomized algorithm
• Mathematics
• Algebra
• Computing

CIS 194: Homework 6 Due Wednesday, 4 March It’s all about being lazy. Fibonacci numbers The Fibonacci numbers Fn are defined as the sequence of integers,

Source URL: www.seas.upenn.edu

• Functional languages
• Programming idioms
• Fibonacci number
• Haskell
• Recursion
• Pseudorandom number generator
• Sequence
• Generalizations of Fibonacci numbers
• Computer programming
• Software engineering
• Computing

Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract

Source URL: www.gilith.com

• Type theory
• Functional languages
• Data types
• Cabal
• Haskell
• Monad
• Type system
• QuickCheck
• Dependency hell
• Software
• Computing
• Functional programming

CIS 194: Homework 5 Due Wednesday, 25 February, 2015 Preface Setup You will need two packages that are not part of Haskell’s standard

Source URL: www.seas.upenn.edu

• Markup languages
• Ajax
• Functional languages
• Functional programming
• JSON
• JavaScript
• Haskell
• Glasgow Haskell Compiler
• Main function
• Computing
• Software engineering
• Computer programming

Haskell で実装した 高速 Web サーバ Mighttpd について 山本和彦 1

Source URL: www.iij.ad.jp

Alex Winters Natalie Haskell Phil Gullberg

Source URL: flyingarts.org.au

Haskell Bytes Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms Joachim Breitner∗ 3. Juli 2013 fun-fr, Freiburg

Source URL: www.joachim-breitner.de

Parallel and Concurrent Programming in Haskell Lab Exercises Simon Marlow Microsoft Research Ltd., Cambridge, U.K.

Source URL: community.haskell.org

• Cross-platform software
• Procedural programming languages
• Concurrent Haskell
• Functional languages
• Functional programming
• Inter-process communication
• Haskell
• Monad
• Futures and promises
• Computing
• Software engineering
• Computer programming

Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania

Source URL: www.seas.upenn.edu

• Abstract algebra
• Universal algebra
• Functional languages
• Generic programming
• Structure
• Lambda calculus
• Map
• Haskell
• Operation
• Mathematics
• Software engineering
• Computing