Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Andres Löh, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006. ACM, 2006.

Conference: haskell2006

Abstract is missing.

RepLib: a library for derivable type classesStephanie Weirich. 1-12 [doi]

A generic recursion toolbox for Haskell or: scrap your boilerplate systematicallyDeling Ren, Martin Erwig. 13-24 [doi]

Strong types for relational databasesAlexandra Silva, Joost Visser. 25-36 [doi]

Polymorphic variants in HaskellKoji Kagawa. 37-47 [doi]

Extended static checking for haskellDana N. Xu. 48-59 [doi]

Running the manual: an approach to high-assurance microkernel developmentPhilip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty. 60-71 [doi]

Strongly typed memory areas programming systems-level data structures in a functional languageIavor S. Diatchki, Mark P. Jones. 72-83 [doi]

User-level transactional programming in HaskellPeter Thiemann. 84-95 [doi]

An extensible dynamically-typed hierarchy of exceptionsSimon Marlow. 96-106 [doi]

Interactive debugging with GHCiDavid Himmelstrup. 107 [doi]

Introducing the Haskell equational reasoning assistantAndy Gill. 108-109 [doi]

GenI: natural language generation in HaskellEric Kow. 110-119 [doi]

Statically typed linear algebra in HaskellFrederik Eaton. 120-121 [doi]

Haskell status reportIsaac Jones. 122 [doi]

runs on WebDSL